add "sandbox.sh use" as an alias for "sandbox.sh mysql"
be more careful about setting innodb-log-files-in-group
fix typo in mysql-sandbox output