travis: use the latest MariaDB 10.0