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`.
good point! sure, we can time exports then, or leave like this for now and time later.