Add a generated index.html to gentestpages.py