Merge branch 'master' into feature/isrn/merge-manganese

# Conflicts:
#	ivette/Makefile.distrib
#	ivette/distrib.sh
#	ivette/headers/header_spec.txt
#	ivette/src/frama-c/index.tsx
#	ivette/src/frama-c/kernel/ASTinfo.tsx
#	ivette/src/frama-c/kernel/ASTview.tsx
#	ivette/src/frama-c/kernel/api/ast/index.ts
#	ivette/src/frama-c/kernel/style.css
#	ivette/src/frama-c/richtext.tsx
#	ivette/src/frama-c/server.ts
#	ivette/src/frama-c/utils.ts
#	ivette/src/frama-c/utils.tsx
#	ivette/src/renderer/Controller.tsx
#	src/plugins/server/kernel_ast.ml
#	src/plugins/server/kernel_ast.mli
#	src/plugins/server/server_socket.ml