add graphviz and coloring/brelaz