Libraries and module types for portable clocks

This library implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces found in:

It implements an MCLOCK module that represents a monotonic timesource since an arbitrary point, and PCLOCK which counts time since the Unix epoch.