Added read_gzip_binary(). Works like read, but reads in gzip files.