Implement advanced OCaml utop REPL (autocompletion, etc).