FV-Time manager

Fully UTC-compliant, including leap seconds.
Efficient and formally verified in Coq.