[kernel] Update module name for Cil_builtins functions

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/analysis/destructors.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/printer.ml

src/kernel_services/ast_queries/ast_info.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/visitors/visitor.ml

src/plugins/e-acsl/src/libraries/misc.ml

src/plugins/gui/filetree.ml

src/plugins/gui/property_navigator.ml

src/plugins/metrics/metrics_base.ml

src/plugins/obfuscator/obfuscate.ml

src/plugins/report/scan.ml

src/plugins/server/kernel_properties.ml

src/plugins/value/utils/value_results.ml

src/plugins/value_types/cvalue.ml

src/plugins/wp/RefUsage.ml

src/plugins/wp/ctypes.ml

tests/cil/Change_formals.ml