explicitly scopes the time command in claim 8

Author: ArquintL

claims/claim8/expected.md

@@ -1,8 +1,9 @@
 The script terminates successfully (exit code 0) implying that the immutability, escape, pointer, and pass-through analyses succeeded, which is indicated by observing output that ends in the following:
 
 ```
-real    0m35.169s
-user    1m36.384s
-sys     0m17.235s
 Conditions were checked successfully.
+
+real    0m35.647s
+user    1m30.336s
+sys     0m14.050s
 ```

claims/claim8/run.sh

@@ -6,4 +6,4 @@ IMAGE_NAME="ghcr.io/viperproject/diodon-artifact:latest"
 echo "Analyzing the Application for the Diffie-Hellman case study."
 echo "This might take about 40s. Please wait..."
 
-docker run --platform linux/amd64 --rm --entrypoint "/bin/bash" $IMAGE_NAME -c "cp -r /dh-orig/. dh/; cp -r /ssm-agent-orig/. ssm-agent/; time /gobra/dh/verify-core-assumptions.sh && echo 'Conditions were checked successfully.'"
+docker run --platform linux/amd64 --rm --entrypoint "/bin/bash" $IMAGE_NAME -c "cp -r /dh-orig/. dh/; cp -r /ssm-agent-orig/. ssm-agent/; time ( /gobra/dh/verify-core-assumptions.sh && echo 'Conditions were checked successfully.' )"