improved OCaml toplevel

 utop is an improved toplevel for OCaml. It can run in a terminal or
 in Emacs. It supports line edition, history, real-time and context
 sensitive completion, colors, and more.