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

headers/header_spec.txt

ivette/src/dome/renderer/controls/icons.tsx

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/Globals.tsx

ivette/src/frama-c/states.ts

ivette/src/ivette/index.tsx

ivette/src/renderer/Application.tsx

ivette/src/renderer/Extensions.tsx

nix/default.nix

share/libc/unistd.h

src/kernel_services/ast_queries/file.ml

src/libraries/utils/filepath.ml

src/libraries/utils/filepath.mli

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c