More on clocks for clock_gettime and add info on gethrtime