[kernel] removed Journal

Makefile

src/kernel_services/ast_queries/file.ml

src/kernel_services/cmdline_parameters/parameter_builder.ml

src/kernel_services/cmdline_parameters/parameter_state.ml

src/kernel_services/cmdline_parameters/parameter_state.mli

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/kernel_services/plugin_entry_points/dynamic.ml

src/kernel_services/plugin_entry_points/dynamic.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/plugin.ml

src/libraries/project/project.ml

src/plugins/aorai/aorai_register.ml

src/plugins/callgraph/cg.ml

src/plugins/callgraph/services.ml

src/plugins/callgraph/uses.ml

src/plugins/constant_propagation/api.ml

src/plugins/e-acsl/src/main.ml

src/plugins/from/callwise.ml

src/plugins/impact/register.ml