write a string to a file in python