add switch for HDF5 dependency

in principle, we could create different versions for pypi, with or
without the dependency on HDF5.
I'm not sure how to do that though...