Python read lines from stdin. .