Basic frame inference works

- Basic frame inference works (without taking into account aliasing yet
though)
- Various soot relations moved to soot.clj