Add recording of CPU time

Unfortunately, the clock package is kind of clowny, so I'm going
to back this out immediately :-(
Backed out CPU time measurement :-(