gpstime.tconvert: add string formatting option