added support for CHA to sample application
added support for explicitly selecting SPARK as the callgraph algorithm
optimized the SourceSinkManager
also allowing android platform JAR path to be set as a normal property
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow-android into unstable