Don't move onto acl90 branch
rfe12244 & rfe12251: log timing option

Lots of little changes, but the big ones are to have logit-stamp
and define-nfs-proc print seconds *and* ms.

Also added an option to the debug tab to turn on/off
*nfs-debug-timings*.

Have verify_modules.sh do a fetch.