Continued work on tools/build-repo.py to support autogeneration of index.html