travis: use the latest MySQL