fixed repo-urls in soot.psf
some code refactoring
refactored interactive information flow handling;
replaced the expensive TreeSet with a BitSet
replaced internal list with array