mysqlname: A small utility to filesystem escape a database name