Fix the stddev/mean computations which had be garbled since commit e5f5a0d30e91d94b0563a0c92bbc2a71b4361daa, leading to a mean that was not in the min/max range and to zero-divide in the stddev computation, among others.
Fix the stddev/mean computations which had be garbled since commit e5f5a0d30e91d94b0563a0c92bbc2a71b4361daa, leading to a mean that was not in the min/max range and to zero-divide in the stddev computation, among others.
Merge branch 'StatsPure' into Stats
Ignore the CPU time consumed when timing is paused.
Ignore the CPU time consumed when timing is paused.

Conflicts:
	src/benchmark.cc
Merge branch 'PausePure' into Pause

Conflicts:
	src/benchmark.cc
Some progress...
Cleanup.
More cleanup.