Fixed error with returning entry and exit nodes
Fixes for basic blocks, succ and pred functionality on CFGs
Start of code for reaching defs, identifying def points in code
Working copy of current experiments
Work in progress on analysis tasks for ASE submission
Changes to better handle libraries
Modified binary building functions, changed some info on flags
Additional annotations on AST turned off by default
More libs added
Changed messages to show status in terms of file count
Another minor lib change
Minor fixes
Merge remote-tracking branch 'upstream-cwi/master'