Bash script to dump a MySQL database