Really change JandomFasterBench so that it does not use PPL.
Move example programs in the test configuration.

This fixes the problem that some resources are only accessible
in the test configuration, and is probably more sensible.
A new configuration for benchmark may be also added, and some
commented code is in build.sbt.
Remove dependence from ASM since it is now included in Soot.

This also fix the problem with Soot analyzer, due to different
incompatible versions of ASM.
Fix delVariable for Parallelotope domain.
Force return type of LinearForm's factories in companion object.
Add an hom method to LinearForm.
Fix debugging output for LTS.
Add a FAST model to check the sum domain.
Remove minimized_constraints method from PPLProperty.

This is an internal PPL method and should not be exposed in the
Jandom interface.
Slight increase in precision for BoxDouble over reals.
Fix linearInequality for parallelotopes of dimension 0.
Remove useless return statements.
Improve precision of the sum domain in limit cases.
Fix isTop for the sum domain.
Remove test which is not guaranteed to be true in every domain.
Add comment to BoxDoubleDomainSuite over doubles.
Add a generic test on the effect of unsatisfiable linear forms.
Add more properties to test for Int+Parallelotopes.
Assortment of fixes.
Add constraints and isPolyedral methods to numerical domains.