Exclude some files we only need in the repository from the ZIP files generated by GitHub.