Improve precision of clock_gettime(). Update clock_getres().
Merge pull request #1592 from waywardmonkeys/additional-clock-gettime-precision

Additional clock_gettime precision