utop: better key bindings for completions