Definition of the graph data type.
Minimal main program.
Working with dynamic properties.
Dynamic property maps for graphviz reader/writer.
Use make to process graphviz files.
Old code for computing dominator trees.
Factored out graphviz read/write functionality.