travis-ci: explicitly add openmpi