Major changes to control-flow graph generation, leading to more useful CFGs
lookup interfaces for implements, not classes
Merge remote-tracking branch 'upstream-cwi/master'
Merge pull request #3 from ruudvanderweijde/master

Merge first version of m3
Several fixes to CFG generation, plus several more sample files
Minor updates for properly creating basic blocks
Fixes to CFG and Basic Block generation
Merge remote-tracking branch 'upstream-cwi/master'