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)
Status Name Job ID Coverage
  Deploy
passed pages #424866
docker

00:01:31

passed pages:deploy

00:00:24