Refactor code to use new functions Cil.[global_]is_in_libc

src/kernel_internals/typing/mergecil.ml

src/plugins/gui/filetree.ml

src/plugins/markdown-report/eva_info.ml

src/plugins/markdown-report/sarif_gen.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