[kernel] nenamed printer-tag api

ivette/src/frama-c/kernel/ASTinfo.tsx

ivette/src/frama-c/kernel/ASTview.tsx

ivette/src/frama-c/kernel/Locations.tsx

ivette/src/frama-c/kernel/Properties.tsx

ivette/src/frama-c/kernel/SourceCode.tsx

ivette/src/frama-c/kernel/api/ast/index.ts

ivette/src/frama-c/kernel/api/properties/index.ts

ivette/src/frama-c/plugins/eva/api/general/index.ts

ivette/src/frama-c/plugins/eva/api/values/index.ts

ivette/src/frama-c/plugins/eva/valuetable.tsx

ivette/src/frama-c/plugins/studia/api/studia/index.ts

ivette/src/frama-c/states.ts

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_data/globals.mli

src/kernel_services/ast_printing/printer_tag.ml

src/kernel_services/ast_printing/printer_tag.mli

src/plugins/eva/api/general_requests.ml

src/plugins/gui/pretty_source.ml

src/plugins/server/kernel_ast.ml

src/plugins/server/kernel_ast.mli