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
added soot dependency for automatic download
Add preliminary support for Jimple intermediate representation
Fix project configuration for automatic downloading of soot
Remove reference of soot from README

Soot was cited in the README since it required a separate download.
Add support for widening (actually, localized widening) in Soot targets
Add more examples in SimpleTest.java and class.
Merge branch 'master' into soot

Conflicts:
	build.sbt
Adapt BafMethod and JimpleMethod to the new Annotation class.
Complete implementation of Baf/Jimple branching instructions.
Preliminary implementation of descending phase with Soot.

Descending phase is using intersection instead of narrowing, hence may
not terminate.
Add support for widening and narrowing factories in Soot/ASM.

The support is not very good because widening and narrowing factories
only operate on numerical domains. We should extend them to any
AbstractProperty.

In any case, now descending phase always terminate.
Fix intersection of PPL Properties.
Fix narrowing in JimpleMethod
Add support for Soot in the GUI
Fix handling of frames in JVMEnv

Also print local names in annotations for Baf.