cat.py now correctly display all text sent through pipes. C-D to
terminate its interactive mode.
Merge branch 'master' into dev