[kernel] Remove deprecated Cil.isArithmeticOrPointerType function

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_utils.ml

src/plugins/eva/domains/cvalue/builtins_split.ml

src/plugins/eva/domains/cvalue/cvalue_queries.ml

src/plugins/eva/domains/equality/equality_domain.ml

src/plugins/eva/domains/offsm_domain.ml

src/plugins/eva/domains/symbolic_locs.ml

src/plugins/eva/engine/transfer_stmt.ml

src/plugins/eva/legacy/eval_op.ml

src/plugins/eva/legacy/eval_terms.ml

src/plugins/from/from_compute.ml

src/plugins/inout/cumulative_analysis.ml

src/plugins/wp/RefUsage.ml