whitespace: deindent repl modules
rename Readline -> LineEdit

To prevent confusion with GNU Readline.