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

ivette/src/dome/renderer/frame/sidebars.tsx

ivette/src/dome/renderer/frame/style.css

ivette/src/frama-c/kernel/Globals.tsx

ivette/src/frama-c/kernel/style.css

src/plugins/wp/ProofSession.ml

src/plugins/wp/ProofSession.mli

src/plugins/wp/ProverScript.ml

src/plugins/wp/ProverScript.mli

src/plugins/wp/doc/manual/wp_plugin.tex

src/plugins/wp/gui/GuiGoal.ml

src/plugins/wp/register.ml

src/plugins/wp/tests/test_config

src/plugins/wp/tests/test_config_qualif

src/plugins/wp/tests/wp_acsl/checks.i

src/plugins/wp/tests/wp_eva/test_config

src/plugins/wp/tests/wp_eva/test_config_qualif

...inaryMultiplication_loop_invariant_inv1_ok_preserved.json

src/plugins/wp/tests/wp_gallery/binary-multiplication.c

...c_hashtbl_solved.0.session/script/init_assigns_part3.json

...in/bitmask0x8000.0.session_qualif/script/lemma_res_n.json