Add MacOS X clock_get_time to examples