MRedies/hdf5-mirror

Here we mirror hdf5 so one can download it faster

NOASSERTION