utility script 'exectime', computes avg/min/max execution time
for a given command