[Printer] Short printer for extensions (used in GUI)

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_printer.mli

src/kernel_services/ast_printing/printer_api.mli

src/kernel_services/ast_printing/printer_builder.ml

src/kernel_services/ast_queries/acsl_extension.ml

src/kernel_services/ast_queries/acsl_extension.mli

src/kernel_services/ast_queries/logic_typing.ml

src/plugins/gui/filetree.ml

src/plugins/value/utils/eva_annotations.ml

src/plugins/value/utils/widen_hints_ext.ml

src/plugins/wp/RegionAnnot.ml

src/plugins/wp/dyncall.ml

tests/spec/Extend.ml

tests/spec/Extend_preprocess.ml

tests/spec/Extend_short_print.i

tests/spec/Extend_short_print.ml

tests/spec/extend_extern.ml

tests/spec/oracle/Extend_short_print.res.oracle