Fix data dependency 

Reduce complexity of control dependency computation

* Added explicit `exitNode` to CFG
* GraphNode implements Comparable

Add more graphs and generalize CFG and control dependence creation

* Tests creates the root node of the PDG
* Data dependency ignores nonexecutable edges
* Non-executable edges are displayed as dashed
* Small bug in the implementation of `CFGBuilder`

Switch from edg.graphlib to  JGraphT

Deleted copy of readme.md in ./src/main/java/tfm

Also optimized imports

* Adds API `asXArc` and `isXArc` to Arc.
* Adds Sliceable interface for graphs.
* Removed old DOT methods (toGraphvizRepresentation)
* Removed representation-related methods from graphs.
* Removed unnecessary methods.

Remove guru.nidi.graphviz-java library

Each method is graphed, and then all possible slices are compared.

Renamed graphs to remove redundant `Graph` at end of class names.

API changed from returning a graph to returning a set of `GraphNode#id`s.