suppress small CPU time, notably on x86-windows, where bash does not account for the poly process;

uniform treatment of shellscript mode;

removed Ids;

factor: proper padding of digits;

time factor: one more digit;

include factor in timing report;

cpu time = user + system;

timestop - report timing based on environment (cf. timestart.bash);