travis: use the latest MariaDB 5.5