Exclude some files we only need in the repository from the ZIP files generated by GitHub.
Reduce dependency on the Date package.