Travis: added hdf5-tools