Use ubuntu-jammy-latest as docker release in workflow

Author: dkcumming

.github/workflows/kmir.yml

@@ -29,5 +29,5 @@ jobs:
             -w /home/kmir/workspace \
             -u $(id -u):$(id -g) \
             -v $PWD:/home/kmir/workspace \
-            runtimeverificationinc/kmir:ubuntu-jammy-0.3.152 \
+            runtimeverificationinc/kmir:ubuntu-jammy-latest \
             kmir-proofs/unchecked_arithmetic/run-proofs.sh