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
Remove the environment from the class LinearForm

We want LinearForm to be more low level. It should know nothing about
variable names and environments. If the need will arise to associate
these informations with linear forms, we will do this later.

As a consequence of this change, the Random target only show fake
variable names.
Move SLILProgram out of the SLILStmt hierarchy

A program is not a statement, so we adapt our classes. However,
SLILProgram is now full of casts since statements and programs
need different kind of parameters.
SLILProgram now prints variable names correctly again
Fix comments and imports of the TagStmt class.
Removed unused classes
Remove the higher kinded type Annotation from Target
Create a new base class SLILTarget for all targets in SLIL

In this way, we may remove some ugly casts in SLILProgram.
Add a default implementation of getAnnotation in Target
Remove the annotations package

The annotations package contains a system for writing annotations into
a BlackBoard in a type safe manner. It is not used.