travis: use latest MariaDB 5.5