add tool bin2hdf to convert ancient binary files back into hdf5