cicd: Add GitHub Actions workflow to deploy static site to GitHub Pages

[timoguin]

Add a GitHub Actions workflow to build the site with mkdocs and deploy to GitHub Pages with the mkdocs gh-deploy command (or make deploy).