Small python tool to change the seperator of a data file