Data/_decompress_big_files.gms

Decompress big data files with gzip. Use before running pre-compilation.

Since GitHub has a big-file (100M) and repo-size (+/- 1GB) limit, the largest few files have to be compressed before committing them. This script uncompresses them without removing the compressed originals. Note that the decompressed versions of these files are ignored for commits via a Model/finaldata/.gitignore file.

NOTE: if decompressed versions already exist, they will NOT be overwritten.