fixed gitignore for index.html

[ArPhil]

Removed generated index.html from repo, updated root .gitignore file, added .gitignore for docs folder.

That avoids adding / committing a locally rendered index.html to the repo.

[swcurran]

Thanks for doing that. I had been thinking we needed to do that, but was avoiding messing with the GHA spec generation :-)