2.9.x generate index file

Now we make an index file including what files are available on S3 for easier download later.   This is for-internal-use-only...

Review by @adriaanm