add leap seconds

The GPS time is faster than UTC time by 16 leap seconds ( since 1980-01-06:00:00:00, until 2014-11-07, maybe on 2014-12-31 the leap seconds would become 17, on 2015-06-30 would become 18), so the unixtime should minus this delta time.