remove some files, adding .zip and .tar.gz downloads to the index.html