First version of ProgramDependenceGraph

No extensive testing yet but it doesn't crash. Need some way to
visualize this gigantic graph.

See #22.