Merge branch 'sync-master' into 'master'

synchronize with frama-c master

See merge request !31
34 jobs for master in 21 minutes and 46 seconds (queued for 2 seconds)
latest