Merge branch 'master' into feature/nathan/wp-opti

Changelog

Makefile

Makefile.generating

bin/check-reference-configuration.sh

configure.in

devel_tools/docker/Makefile

headers/header_spec.txt

ivette/INSTALL.md

ivette/Makefile

ivette/electron-builder.json

ivette/ivette-macos.sh

ivette/ivette.icns

ivette/src/dome/main/dome.ts

ivette/src/dome/main/menubar.ts

ivette/src/dome/misc/system.ts

ivette/src/dome/renderer/dome.tsx

ivette/src/frama-c/index.tsx

ivette/src/frama-c/menu.ts

ivette/src/frama-c/plugins/dive/index.tsx

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