futuretests
simplified the taint wrapper, resolved some issues with CallToReturnEdges (when to keep a taint and when to rely on the callee to propagate or erase it) and improved artificial edge injection into the solver
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop
removed debug output
more comments
fixed nullpointer exception in EasyTaintWrapper
extended easy taint wrapper to restrict its heuristics to classes in explicitly annotated packaged, e.g. "android.*" and "java.*". Otherwise, if the callee is not a phantom method and does have an active body, no taint is propagated via the wrapper, this must then be done by analyzing the callee. This should be more precise for most use cases.

Propagation of static taints along call-to-return edges is now also handled in the wrapper and not in the analysis itself which allows taint wrappers to drop static taints.
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop

Conflicts:
	src/soot/jimple/infoflow/taintWrappers/EasyTaintWrapper.java
	src/soot/jimple/infoflow/taintWrappers/ListExampleWrapper.java
just a few comments to the tests
added test case for access path truncation
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop
Merge branch 'develop' of ssh://github.com/secure-software-engineering/soot-infoflow into merge-develop

Conflicts:
	src/soot/jimple/infoflow/Infoflow.java
	src/soot/jimple/infoflow/InfoflowProblem.java