Revert "travis-ci: openmpi-bin -> mpi-default-bin"

This reverts commit a8b075c240515a1970aa2d06788dffca962c7426.