minor change in HDF5Store constructor to open file as read-only when getting ids