Removed Digraph
Import Merlin's Topology module

Added ocamlgraph as a dependency
Updated topology use in Controller and ConsistentUpdates
Expanded topology interface

Included shortest path and edges ports functions
Functions through appropriate exceptions
Removed NetCore_Topo and NetCore_Graph
Merge new topology fork with frenetic-lang:master