[Numpy-discussion] reading gzip compressed files using numpy.fromfile