Use new byte-code format. Added a new instruction for faster loading of axioms.
Changed VM code to adapt to new sim/vm protocol.