Converting contents of a HDF5 file into a JSON file.