[python] In Python, how do I split a string and keep the separators?