A prettier version of the well-known time command.

Running with -p gives POSIX-compatible output, and -g gives GNU time compatible output. Running without flags gives the pretty new output format.