bump mysql server to use on travis