Add TimeGPS class to Time (=seconds since 1980-01-01 00:00:00 UTC = TAI - 19 s
Updates to documentation to clarify the meaning of GPS time
Merge pull request #1164 from mhvk/time/gps-time

Add TimeGPS class to Time (seconds since 1980-01-06 00:00:00 UTC)