Added workflow for deploying documentation

This does not yet deploy the actual documentation, but it instead deploys the old docs (which are now redirects) to a temporary folder for testing.

.github/workflows/docs-deploy.yml

@@ -0,0 +1,18 @@
+name: Documentation Deployment
+
+on: push
+
+jobs:
+  grav:
+    name: Deploy Grav
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1
+      - name: SCP to documentation server
+        uses: appleboy/[email protected]
+        env:
+          USERNAME: ${{ secrets.DOCUMENTATION_SSH_USERNAME }}
+          KEY: ${{ secrets.DOCUMENTATION_SSH_KEY }}
+          HOST: ${{ secrets.DOCUMENTATION_SSH_HOST }}
+          TARGET: "docs/"
+          SOURCE: "docs/"