[travis] Set the character encoding of MySQL