Archive case studies of CI run as artifact (#608)

* Archive case studies as artifact in action

* Run archive action when case studies fail

* Add verbose output to regression tests

* Remove case-studies-regression from artifact

* Change name of archive action

.github/workflows/tamarin-integration-test.yaml

@@ -75,4 +75,11 @@ jobs:
       - name: Regression tests
         run: |
           tamarin-prover test
-          python3 regressionTests.py -noi
+          python3 regressionTests.py -v 6 -noi
+
+      - name: Store case studies as artifact
+        if: success() || failure()
+        uses: actions/upload-artifact@v3
+        with:
+          name: case-studies
+          path: case-studies