Corrections on Digraph.
Further corrections on the "Exception: Map.find: element not in the map" problem.
Add test cases imported from OCaml sources.

Cycle detection and topological sort seem to work on these small examples.