add third_party/linenoice for REPL