Use UCI option to enable use of cpu time

Also renamed cpu time to the more correct process time.

No functional change.