[python] Efficient way to add spaces between characters in a string