Add graph.dotify()