added some more test cases
no longer propagating explicit taints into methods that have already been analyzed for implicit flows since this has already generated a superset of the possible explicit taints
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop

Conflicts:
	test/soot/jimple/infoflow/test/junit/ListTests.java