Dimacs like output
Better output format. Now graphviz output is optional