added WITH_HDF5 to travis