Moved NumericalDomains to the numerical package.
Add the top numerical abstract domain.
Move the Sum domain in the numerical package.
Initial framework for the analysis of objects.
New topProperty method to handle different ways to generate top elements.
New handling of top/bottom elements and domains.
Make all tests work both in Eclipse and sbt
Do not use BlockGraphConverter anymore

BlockGraphConverter altered the standard assumption about the order
of jumps and of edges in the graph. We now add all tails of the
UnitGraph as leaders in the BigBlockGraph class.
Add a new test case for object analysis
Remove ObjectNumerical domains

It was a false start.
Add UnitBlockGraph

UnitBlockGraph builds a BlockGraph where each Unit is a Block
by itself. May be use for debugging purposes.
Add support for unordered pairs
Change the API for ObjectDomain

The new API is tailored exactly for the use by JimpleMethod and in
preparation for the support of sharing analysis. There are some
regression on numerical properties which will be addressed later.
Add preliminary support for pair sharing analysis.
Fix replaceOutputWithVars
Add conditional statements
New methods in the NumericalProperty trait for minimizing/maximizing
linear forms.

There is problably a PPL bug which makes the frequency methods not
working.
Improve precision of multiplication in numerical properties.
Reduce clutter in the debug output.
Add reachability and sharing analysis at class level