Checking for OSX (timing with cputicks) and otherwise defaulting to clock_gettime()