python read single line from stdin