Merge pull request #24 from a0x77n/dev

Fix control flow graph.
Added documentation for extrapolation using joern-tools.
Moved joern-tools documentation into docs.