jit_ocaml: more expressions in the interpreter

* ForExp, IfExp and OpExp completely implemented
* NotExp, ColonVar, DoubleVar, WhileExp