Output ISO time string
[s]=st_iso_epoch(tgps,ndec)
gpstime structure
seconds decimal number
the function outputs a ISO time string from a gpstime structure
tgps =
[s]=st_iso_epoch(tgps,2) '2009-12-31T12:00:00.00'