Python example for raw input using getch