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.