Add a list of basic blocks and a method to output the CFG in dot format.
Merged the Readme with the remote one
Merge remote-tracking branch 'origin/master'