Added support for compressed files in diffy.sh.
Added a --push option to bin/env/UpdateEnvRepos.sh .