How to measure your CPU time: clock_gettime!