Time

Optimised time functions, mostly conversions to sidereal time from GPS time.