GitHub Action to build and version the document, and then publish it to GitHub

[NathanielJS1541]

There should be a GitHub Action that builds the document whenever changes are pushed into main. This should build the document, generate a changelog, and publish both to a release on GitHub.

[NathanielJS1541]

Closing as completed in #9