Travis: don't install libhdf5-openmpi-7