Parser extended for contract arguments. Return value still missing.
Arg list is recorded in PPTerminal.
Number of arguments in the methods of the contract is now verified.
Now ParseTree can return the number of terminals parsed.
Fixed bug in terminal parser introduced in dcfe0233c03d9c08e30ae3d3efaab4aa7a204591.
Parameter unification done.
Fixed minor bug when reporting the line num of calls (the order was not
always right).
Removed *OK validation tests.
Return value in contracts is now working.
Use jimple instead of shimple:

 * Points-to analysis does not require shimple, as initially thought.
 * Shimple is no longer maintained:
   http://www.sable.mcgill.ca/pipermail/soot-list/2013-June/006021.html
Now the unification of arguments match if they can point to the same object.
This fixes a bug when object's fields were used as arguments (they never matched
because soot creates a local copy of the field for each access).

However this means that there is still one BUG: arguments that are fields
that are primitive types never unify.
Updated test results with contract with arguments.
Merge branch 'extended-contract'.