petsc io hdf5

This PR adds the HDF5 file format to PetClaw io.