Turn on test timing in mysql-test-run.pl by default, and clean up usage docs.
mysql-test/mysql-test-run.pl:
Turn on test timing by default, but make it so it can be turned off with
--notimer. Also clean up the mysql-test-run.pl usage information a little
bit, and add --benchdir to it.