hdf5: Version bump to 1.8.13.