gemmi/to_json.hpp file