strengthened a sanity check
Enabling the new approximation of circular access paths by default
updated to reflect changes in soot-infoflow
changes required for the current version of soot-infoflow
added more options how to specify the Android JARs
fixed a mistake in the source/sink list
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow-android into unstable