Re: File, FileStream, and GZFileStream

[dataman]

@bli

Perhaps the [NimData](https://github.com/bluenote10/NimData) package will be 
useful for you. This package has the ability to read data from a gzip archive.