added new Soot option for on-the-fly loading of classes and methods
FastHierarchy is now silent when being unable to resolve a method from a phantom class
improved automatic inference of main method
made explodeClassPath public static
bugfix for LocalMustNotAliasAnalysis
lots of improvements for on-the-fly ICFG; also added some comments