Add documentation publication workflow

Author: Mark R. Tuttle

.github/workflows/publish.yaml

@@ -0,0 +1,22 @@
+name: Publish CBMC Proof Debugger documentation
+on: [push, pull_request]
+
+jobs:
+  publish:
+    runs-on: macos-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v2
+
+      - name: Install mdbook
+        run: brew install mdbook
+
+      - name: Build documentation
+        run: cd docs && mdbook build && touch book/.nojekyll
+
+      - name: Publish documentation
+        if: ${{ github.event_name == 'push' && startsWith('refs/heads/main', github.ref) }}
+        uses: JamesIves/[email protected]
+        with:
+          branch: gh-pages
+          folder: docs/book/