bugfix: respect user's choice of points-to precision
nicer image for configuration optin in easy ifc gui, also show only configuration if its not the default
allow removeCandidate to work with elements that are not contained
let IFCAnalysis return annotated nodes

for this, promote NodeAnnotationInfo to public type
add option to ignore control dependencies
SDGBuilder: let buildCallGraph() be invoked from public
add option in SDGProgram to just create an SDGBuilder from an SDGConfig
also promote visibility of the fields of SDGBuilder.CGResult
add method to just create an SDGBuilder, without running it
new field propagation option for not merging at all - EVER!
adapt to latest wala version
fix default configuration - revert to original value
add missing standard setting for "merge during cutoff" - true
use latest wala version with bugfix for type parameter in dot util
also include 1.5 stubs
new callback interface used by SDGProgram to tell details about

SDG construction, namely:

* when SDG construction has started/finished
* when stripping control dependencies has started/finished
* how many nodes are in the pruned/unpruned call graph
print static fields only in debug mode
correct comments for object-sensitive settings

UNLIMITED_OBJECT_SENSITIVE and N1_OBJECT_SENSITIVE cannot be customized
keep annotations for sources, sinks and declassifications separated
bugfix: report security level of sink also if performing forward slicing