Profiling: measure time on POSIX systems using clock_gettime
Merge pull request #1408 from randomstuff/perf

Profiling: measure time on non-Windows/POSIX using clock_gettime