bug#12207: repl and comments or tabs

[helpful.user@discard.email]

The following patch to readline should fix the  tab issue:
https://lists.gnu.org/archive/html/bug-bash/2014-10/msg00211.html
(AFACT you need to put "set enable-bracketed-paste on" in your ~/.inputrc too)