some further refactorings
Improved abstraction handling for backwards solver: We now directly get the current method's source fact from the IDE solver instead of having to propagate it along with our abstraction. This allows us to get rid of the whole "abstractionFromCallEdge" tree. Requires the newest version of Heros to work.
added some Javadoc
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop