Add Jenkins manual setting to standard config.
Remove -SML.  Fix smoke.sh to use its equivalent. #866
Adjust stats log time (commented out anyway) and a couple typos.