Add two ocaml implementation

One non-solution following a classic continuation-passing-style encoding.
One solution extending the previous one with some tricks.