Normalize line endings as per https://help.github.com/articles/dealing-with-line-endings
Merge branch 'develop' of ssh://github.com/secure-software-engineering/soot-infoflow into develop

Conflicts:
	build.xml
	src/soot/jimple/infoflow/AbstractInfoflowProblem.java
	src/soot/jimple/infoflow/BackwardsInfoflowProblem.java
	src/soot/jimple/infoflow/heros/InfoflowSolver.java
save even more time for the test case
access path reduction for test case
fixed a bug in which a taint was passed on in the call-to-return function though it was overwritten in the callee
added optimization: Now removing unnecessary NOPs
resetting temporary variables to null to kill taint for variables that will never be used again anyway
Merge branch 'develop' of https://github.com/malaverdiere/soot-infoflow into develop
fixed reset to null
Merge branch 'merge-develop' of https://github.com/malaverdiere/soot-infoflow into develop