Add soot.jar to the project
Update README with references to Soot
Initial support for the Soot framework
Fix printing of annotations inside methods for Baf

This is difficult sice the support for annotations in Soot only allows
to print annotations after the corresponding instructions, while we
want to print them before.
Use the chain of units instead of the CFG to follow the fallback flow
Add support for iinc bytecode in BafMethod