Add some files to export-ignore (useless in git-archive)