Pythonically add header to a csv file,writer.writeheader()