Github actions: add doc generation workflow

[dpinte]

As a general part of the process, that would be extremely good to have. It would also help with PR's like #172

[mdickinson]

It would be good to add autodoc-generated API documentation, too; we don't currently have that.