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
introduced generics
improved answer intersection and live-local test
eyecandy for sourcecode
Merge remote-tracking branch 'upstream/develop' into develop
Fixes issue #155.

Due to this bug, the generated Baf and Jimple code would miss the last
non-default case in a tableswitch code structure. It does not affect
generated bytecode, so it is not easily triggered.
Merge pull request #156 from dacongy/develop

Fixes issue #155
Added Body.getParameterLocals
Merge pull request #157 from malaverdiere/tmp-merge

Added Body.getParameterLocals
EquivalentValue: Remove getDeepestValue().

Add check at constructor so that we never get EquivalentValue inside.
This renders (original buggy) getDeepestValue() obsolete.
removed old TODO
added method getParameterRefs() to Body
also added caching of parameter refs to JimpleBasedICFG
Merge commit 'a8a632a46b5e04b0cb179d81997b171e179ca80f' into develop
Equivalent.Equivalent(): Use if instead of while since we never get nested EquivalentValues.
EquivalentValue: add back getDeepestValue(), add deprecated tag.
Merge pull request #158 from wishstudio/develop

EquivalentValue: Remove getDeepestValue().
Update CHANGES.