Merge branch 'improve-get-frama-c' into 'master'

Improve get frama c

See merge request !137
2 jobs for master in 2 minutes and 33 seconds (queued for 9 seconds)