travis-ci: add mumps-dev