jit_ocaml: improved OCaml interpreter

- support WhileExp and basic ReturnExp
- ForExp uses iterator_of_implicitlist
- fix bug on Unary_Minus and fill other operators
- fix can_continue
- ReturnExn returns a list of bindings to apply