Gtk interface to OCaml toplevel