Fixed a bug in maximize for unbounded linear forms.
Fix scaladoc comment for connect
Fix, comment and test the SootFrame classes.
Fix pair-sharing domain
Fix the Soot analyzer, both inter and intra-procedural.

Finally the analyze works again. It was broken for a long time, but now
interfaces are correctly specified.
Fix the macro based numerical domains