Fix intersection of PPL Properties.
Fix narrowing in JimpleMethod
Add support for Soot in the GUI
Fix handling of frames in JVMEnv

Also print local names in annotations for Baf.