First draft of the rockit implementation
Major refactor supporting multiple MLN Engines
Tuffy is working, Rockit should also