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

.gitignore

CONTRIBUTING.md

bin/frama-c.debug

doc/Makefile

doc/build-manuals.sh

doc/release/build.tex

headers/headache_config.txt

headers/header_spec.txt

ivette/Makefile

ivette/Makefile.distrib

ivette/headers/header_spec.txt

ivette/src/dome/renderer/data/settings.ts

ivette/src/dome/renderer/dome.tsx

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

ivette/src/dome/renderer/text/editors.tsx

ivette/src/dome/renderer/themes.tsx

ivette/src/frama-c/api_generator.ml

ivette/src/frama-c/client.ts

ivette/src/frama-c/client_socket.ts

ivette/src/frama-c/client_zmq.ts