python read string from stdin