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

PowerPC CPU profiling was only enabled on Windows (using QueryPerformanceCounter). Try to do the same thing using POSIX clock_gettime.
Tabs for indenting.