Add outputting the graph to a dot file