travis: use the latest MariaDB