[python] Best way to strip punctuation from a string