Merge branch 'fix/analysis-script/clone-for-new-build-system' into 'master'

[Analysis scripts] update to match new dune build procedure

See merge request frama-c/frama-c!4140