Added labelled mvars
Use a monotonic clock on OS X

OS X doesn't have clock_gettime so we use something OS X-specific.
The clock_get_time is documented as monotonically increasing and the
clock_set_time function (which could screw that up) always returns
a KERN_FAILURE:

https://opensource.apple.com/source/xnu/xnu-2422.1.72/osfmk/kern/clock_oldops.c

Note the alternative AbsoluteTime API documented here

http://developer.apple.com/library/mac/qa/qa1398/

has been deprecated since 10.8.

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #5 from djs55/osx

Use a monotonic clock on OS X
Removed C stubs for adding timestamp on Xen

Use the monotonic time support that will soon be added to mirage-xen
instead.

This avoids a build cycle (we need the mirage-xen headers to build the C
stubs, but mirage-xen depends on mirage-profile). Another way to solve
this would be to split mirage-profile into two OPAM packages.