Merge branch 'features/kernel/logic-interpr-out-of-db' into 'master'

doc/developer/advance.tex

src/kernel_services/analysis/logic_deps.ml

src/kernel_services/analysis/logic_deps.mli

src/kernel_services/analysis/logic_interp.ml

src/kernel_services/ast_queries/logic_parse_string.ml

src/kernel_services/ast_queries/logic_parse_string.mli

src/kernel_services/ast_queries/logic_to_c.ml

src/kernel_services/ast_queries/logic_to_c.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/plugins/eva/Eva.mli

src/plugins/eva/api/general_requests.ml

src/plugins/eva/gui/register_gui.ml

src/plugins/eva/legacy/eval_terms.ml

src/plugins/eva/legacy/logic_inout.ml

src/plugins/eva/partitioning/partitioning_parameters.ml

src/plugins/eva/utils/eva_annotations.ml

src/plugins/eva/utils/eva_results.ml