Adding back in proof generation on container

- Still requires some additional steps to fetch the results from the running container but this is a starting point.

Author: F-WRunTime

.github/workflows/kmir.yml

@@ -37,7 +37,7 @@ jobs:
         run: |
           for k_file in kmir-proofs/*/*-spec.k; do
             echo "Running ${k_file}"
-            docker exec -t ${{ env.container_name }} kmir prove run ${k_file}
+            docker exec -t ${{ env.container_name }} /bin/bash -l -c "kmir prove run ${k_file} --proof-dir $(dirname ${k_file})/proofs"
           done
 
       - name: Stop Tool Container