Merge branch 'frama-clang-0.11' into 'master'

Frama clang 0.11

See merge request !126
2 jobs for master in 1 minute and 31 seconds (queued for 4 seconds)