Merge branch 'fix/andre/improve-shell-scripts' into 'master'
[bin/analysis-scripts] improve shell scripts thanks to shellcheck See merge request frama-c/frama-c!3106
[bin/analysis-scripts] improve shell scripts thanks to shellcheck See merge request frama-c/frama-c!3106