Define the subset of Java to be initially handled by scoot and add test cases

[smover]

We need to define the subset of Java that we want to support in the current iteration in scoot.

The initial idea is to handle:

• Integer types and their operations
• Boolean types and their operations
• Access static fields
  An idea is to look at the subset of MiniJava: http://www.cs.tufts.edu/~sguyer/classes/comp181-2006/minijava.html

Once defined the subset we have to identify the Jimple statments that we want to support.

Tasks:

• Identify the Jimple syntax for the restricted language
• Identify the classes (and other restriction) implementing the syntax

[smover]

A document listing the Java features and a set of test cases is in the pull request #47.