[python] How to read a single character from the user?