FV-Time manager

Fully UTC-compliant, including leap seconds from IERS since 1972
and the two leap seconds advised by BIPM on 1970-12-31
and 1971-12-31. Efficient and formally verified in Coq.