Revert "Reverting commit, as it makes at least 10 additional abc tests fail"

This reverts commit dbf186901610d68ea9c84b56dc3180fc529d09a0.
Revert "fixed repo-urls in soot.psf"

This reverts commit bdfe4b821f88573a8a648959dd4b151d3c0586b2.
fixed stupid bug
Merge branch 'mergetest' into develop

This merges commits by Steven Lambeth which improve the performance of SmartLocalDefs and other intra-procedural analyses through a BitSet-based implementation.