Merge branch 'feature/extlib/remove-functions' into 'master'

bin/migration_scripts/manganese2iron.sh

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_services/abstract_interp/int_Base.ml

src/kernel_services/abstract_interp/int_val.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/statuses_by_call.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/acsl_extension.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/cmdline_parameters/parameter_builder.ml

src/kernel_services/plugin_entry_points/plugin.ml

src/kernel_services/visitors/visitor.ml

src/kernel_services/visitors/visitor_behavior.ml

src/libraries/datatype/datatype.ml