necessary change to support icc
add ipcmanager and a interface to create dummyMain method for a single component
fix a bug by giving default value to ipcmanager
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into unstable
(1) added type checking for static fields
(2) fixed a typing problem in the backwards solver
(3) added some test cases