Merge branch 'feature/kernel/remove-ast-nodes' into 'master'

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_printing/cil_types_debug.mli

src/kernel_services/ast_queries/ast_info.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/ast_queries/logic_utils.ml

src/plugins/aorai/data_for_aorai.ml

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/code_generator/gmp.ml

src/plugins/e-acsl/src/code_generator/libc.ml

src/plugins/e-acsl/src/code_generator/memory_translate.ml

src/plugins/e-acsl/src/code_generator/rational.ml