Python read character from stdin. .