Install openmpi on Travis-CI