Merge remote-tracking branch 'upstream/master'

Conflicts:
	core/src/main/scala/it/unich/sci/jandom/targets/jvmsoot/SootFrameNumericalDomain.scala
	core/src/main/scala/it/unich/sci/jandom/targets/jvmsoot/SootFrameObjectDomain.scala
Merge pull request #1 from francescaScozzari/master

Full development of Baf methods.
Use the LinearForm trait for the numerical domain API
Lots of different changes to numerical domains.
Further changes to the LinearForm API.
Improve test suite for LinearForm
Complete implementation of Parallelotope domain.
Change formatting of SimpleTest.java in examples
Fix print of SootFrameDomain properties
Fix use of the sparse LinearForm constructor
Fix some operations in SootFrameNumericalDomain
Remove resource directory from Eclipse project.

This fix the problem that resource class are recompiled by
Eclipse, altering the results of tests.
Added a new class for simplifying the development of external interfaces
Merge branch 'master' of https://github.com/jandom-devel/Jandom
Added support for jar files (to be finished)
Continue the development of output interface.
Added more support.
Added methods for retrieving tips.
Changed the interface of getClasses
Added an interface for methods