A small python script used to add time data to a gpx file with coordinates and no time