Merge branch 'feature/gui/type-tags' into 'master'

ivette/src/dome/renderer/controls/icons.tsx

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

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

ivette/src/frama-c/kernel/style.css

ivette/src/frama-c/richtext.tsx

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/printer_api.ml

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/eva/gui/gui_callstacks_manager.ml

src/plugins/eva/gui/gui_red.ml

src/plugins/eva/gui/register_gui.ml

src/plugins/gui/design.ml

src/plugins/gui/history.ml

src/plugins/gui/pretty_source.ml

src/plugins/gui/pretty_source.mli

src/plugins/gui/property_navigator.ml

src/plugins/impact/gui/register_gui.ml

src/plugins/metrics/gui/register_gui.ml