Add script that exports the repo head into a tarball (for the webpage)

Also added a .gitattributes file that says that export-tarball.sh, .gitattributes, and .gitignore should not be exported.