Merge branch 'feature/andre/cil-is-in-libc' into 'master'

src/kernel_internals/typing/mergecil.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/plugins/gui/filetree.ml

src/plugins/markdown-report/eva_info.ml

src/plugins/markdown-report/sarif_gen.ml

src/plugins/metrics/metrics_base.ml

src/plugins/obfuscator/obfuscate.ml

src/plugins/server/kernel_ast.ml

src/plugins/value/domains/cvalue/cvalue_init.ml

src/plugins/value/engine/compute_functions.ml

src/plugins/value/engine/initialization.ml

src/plugins/value/legacy/eval_terms.ml

src/plugins/value/utils/value_results.ml

src/plugins/value/utils/value_util.ml

tests/libc/check_libc_anonymous_tags.ml

tests/libc/check_libc_naming_conventions.ml