Clean up old index files

These are an artifact from the migration and can be removed (the download index is now generated by Apache dynamically).