Add support for pair-sharing analysis to the GUI.
Generalize Soot object analysis to work with a generic ObjectDomain.
Modify unionWeak, intersectionWeak and isFull
Modified EQ operation
Add class DimensionFiberedDomain as ancestor of Numerical and Object domains
Add methods addVariable/s and delVariable/s to DimensionFiberedProperty
Merge branch 'domainProduct'
Renamed empty --> bottom
        full  --> top
Conflicts:
	core/src/main/scala/it/unich/sci/jandom/domains/numerical/Parallelotope.scala
	core/src/main/scala/it/unich/sci/jandom/domains/numerical/Product.scala