python read multiple lines from stdin