Html-proofer for verifying rendered HTML files

HTMLProofer is a popular tool to validate HTML output and could well fit into our CI/CD pipeline.

We should test the tool and add it to the CI pipeline if appropriate.