Soumendra Ganguly: add termios.tcgetwinsize(), termios.tcsetwinsize().