graph drawing tool
load_graph_from_disk = function()
	local f = App.open_for_reading(Filename)
	if not f then return end
	local contents = f:read()
	f:close()
	if contents == '' then return end
	local data = json.decode(contents)
	Nodes = data.nodes or {}
	First_available_id = data.next
end