install missing deps in frama-c image

.github/workflows/proofs.yml

@@ -43,7 +43,7 @@ jobs:
           image: framac/frama-c:dev
           options: -v ${{ github.workspace }}:/work -w /work
           run: |
-            apt-get update && apt-get install -y z3
+            sudo apt-get update && sudo apt-get install -y z3
             why3 config detect
             cd components/mission_protection_system/src
             mkdir -p /tmp/wp-session/script