FIX: issue #1020 (Console eats TAB character in a pasted input line)
FIX: issue #1020 (Console eats TAB character in a pasted input line)

FIX: better handling for Ctrl-C and Ctrl-D.

red-eco/red,NikolayShubenkovProgSchool/red,vehar/red,rheber/red,NikolayShubenkovProgSchool/red,vehar/red,rheber/red,red-eco/red