Use a zipfileset to rename the release version of index.html