Simple Bash script for printing timing information for each command line executed.