Github Pages Setup

[github-actions[bot]]

Acceptance criteria

• [ ] Github Pages has been configured to publish from the gh-pages branch, root directory
• [ ] The link to the Github pages site has been configured to appear on the main repo page (click the gear icon at right, and select the box for Github Pages)
• [ ] The Github Pages site shows the content for javadoc, jacoco, and pitest.

Details

See the file docs/github-pages.md for details.