frama-c: add shm proofs

3 jobs for master in 2 minutes and 55 seconds (queued for 5 seconds)
latest