Fix database name in mysql travis-CI config