sychronize with frama-c master

1 job for master in 84 minutes and 6 seconds (queued for 12 seconds)