travis: use MariaDB 10.0.7