Added DOT versions of the topologies from the DMC paper in IMC2010
Replaced hand-rolled DOT parser with OCamlgraph's parser. Untested.

Provided node and edge generator functions, and utilities.
Updated frontend to call new parser functions.
Major code cleanup

Dead code elimination
Removed repeated Option unpacking
Rename utility functions in DOT parser
Cleaned up frontend