Add timing information for commands

This supersedes #199.

I changed the implementation to use the Bash `time` keyword, which allows us to do less fudging around with the exit codes and `TRAVIS_CMD`.