Update and firm up excluded files list

Coq has introduced many new files in the last couple of years,
including several that are not DFSG-free. Rebuild and document the list
of files to be excluded from git-buildpackage imports.

Additionally, delete the purify_tarball script, as it’s been replaced
with the import filter.