[kernel] Add plugin field is several AST nodes

src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_printing/logic_print.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/logic_const.ml

src/kernel_services/ast_queries/logic_const.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/parsetree/logic_ptree.ml

src/plugins/eva/utils/eva_annotations.ml