xref: http://stackoverflow.com/questions/13250046/pandas-csv-import-keep-leading-zeros-in-a-column