travis: update MariaDB 10.0 version