travis: use latest MariaDB 10.0