17 add GitHub action to compile pdf (#21)

* Add new workflow for compiling report and adding it to repository

* Make push-to-repository depend on the compile-pdf step of the action. Remove first attempt comment.

* Set git config user to github-actions[bot]

.github/workflows/compile-pdf.yaml

@@ -44,6 +44,8 @@ jobs:
           path: ./docs
       - name: Push to repository
         run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git add ./docs
           git commit -m "Added by compile-pdf GitHub Action"
           git push