rebuild docs using ci (e.g. github action)

[carlos22]

Create a CI task to rebuild and deploy the docs on changes.

[carlos22]

Might be easier with the new github actions.