src/graph_def.[ch]: Implement "def_to_json".