Update mysql.travis.xml