you can of course add it to svn:ignore.But since it's not used after the download/unzip anymore, I usually just delete it.
I guess that's one solution. When I first created that script I though maybe users would like to keep the file.But maybe it's really better to just delete it - users can always zip the unzipped folder again...