python: read lines from compressed text files,gzip.open('myfile.gz')