Exclude some files we only need in the repository from the ZIP files gen...

...erated by GitHub.