normalize all indentation to 4 spaces
measure cpu frequency lazily
move measure_cpu_time inside ifdefs
use getrusage() to measure CPU time on non-windows platforms
include sys/resource.h
fix typo
Merge branch 'master' into fix-cpu-time-measure