Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder

headers/headache_config.txt

share/analysis-scripts/benchmark.sh

share/analysis-scripts/clone.sh

share/analysis-scripts/results_display.py

share/analysis-scripts/summary.py

src/plugins/qed/logic.ml

src/plugins/qed/term.ml

src/plugins/value/engine/evaluation.ml

src/plugins/wp/Lang.ml

src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle