synchronize with frama-c master

1 job for master in 62 minutes and 1 second (queued for 5 seconds)