Added time functions for TAI and UTC

Implemented leap seconds (needed for conversion between TAI and UTC). Leap seconds are downloaded if necessary from http://www.ietf.org/timezones/data/leap-seconds.list.