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

doc/developer/advance.tex

ivette/src/dome/main/menubar.ts

ivette/src/dome/renderer/dark.css

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

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

ivette/src/dome/renderer/light.css

ivette/src/frama-c/kernel/api/ast/index.ts

ivette/src/frama-c/plugins/eva/style.css

ivette/src/frama-c/plugins/eva/valuetable.tsx

share/Makefile.config.in

src/plugins/e-acsl/Makefile.in

src/plugins/loop_analysis/configure.ac

src/plugins/qed/Makefile

src/plugins/server/kernel_ast.ml