Integrate the documentation generation into the CI pipeline

[tbenthompson]

It's not a perfect fit because the generated readme needs to be in the git repo but I don't want to be committing from the CI server. One solution is to have the CI generate the readme and if there's any diff with the existing readme, then fail the tests. Another solution would be to have the same check in pre-commit.