travis: use MariaDB 10.0.6 that is released today