creating new fast IFDS solver
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop
added a new solver for FlowDroid that replaces the generic Heros solver with something more tailored to what we actaually require for FlowDroid. Both solvers are implemented on top of the same interface (IInfoflow), so one can easily switch between them. The default is now the new one.