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.