Fix bug in reporting of cputime when BKZ_VERBOSE is set

We forgot to subtract cputimeStart.