Auto doc CI/CD

Use CI/CD to auto compile the static pages and deploy them.

This will remove the need to do

jb build .
git add _build/html/*
git commit --all
git push

It might also keep the branch main clearer as the folder _build/ might not be necessary anymore.