1INCLAN: timing - variable to control the reporting of CPU times

"timing" is a variable to control the reporting of CPU times. CPU
times are given for all commands (except for those that are built
into the command line interpreter) that need more seconds of CPU
time than the value of timing indicates.
