Publish documentation on pushes to master

[yallop]

It'd be useful to keep the documentation up to date by publishing it on every push to the master branch in a GitHub Action.