python read n lines from stdin