jit_ocaml: improving the OCaml interpreter

* Better handling of 'return' statements
* Handling of multiple assignments
* argn, nargin and nargout