[kernel] print imported module

src/kernel_internals/typing/mergecil.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_queries/ast_diff.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/gui/filetree.ml

src/plugins/metrics/metrics_cilast.ml

src/plugins/metrics/metrics_pivot.ml

src/plugins/wp/LogicUsage.ml

tests/spec/import.i

tests/spec/oracle/import.0.res.oracle