Python TTY, readline, input with line editing, interactive input