Merge branch 'feature/blanchard/db/remove-inout' into 'master'

doc/developer/advance.tex

doc/developer/check_api/run.oracle

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/libraries/utils/task.mli

src/plugins/eva/domains/cvalue/cvalue_domain.ml

src/plugins/eva/engine/transfer_stmt.ml

src/plugins/eva/gui/register_gui.ml

src/plugins/eva/utils/eva_dynamic.ml

src/plugins/eva/utils/eva_dynamic.mli

src/plugins/impact/pdg_aux.ml

src/plugins/inout/Inout.ml

src/plugins/inout/Inout.mli

src/plugins/inout/derefs.ml

src/plugins/inout/inout_parameters.ml

src/plugins/inout/inout_parameters.mli

src/plugins/inout/inputs.ml

src/plugins/inout/inputs.mli

src/plugins/inout/operational_inputs.ml

src/plugins/inout/operational_inputs.mli