added time server support for skytraq, ubx and rtcm3, and fixed the leap sec problem