add alternative OS X clock_gettime implementation using Mach clock_get_time, mostly for documentary purposes