Bind Ctrl-Left/Right arrows in REPL

(maybe Linux-specific codes)
Cosmetic changes in complete_symbol
prefix-search REPL history skips duplicates