Merge branch 'feature/db-progress' into 'master'

.gitignore

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/libraries/utils/command.ml

src/libraries/utils/task.ml

src/plugins/from/from_compute.ml

src/plugins/gui/analyses_manager.ml

src/plugins/gui/design.ml

src/plugins/impact/compute_impact.ml

src/plugins/occurrence/register.ml

src/plugins/pdg/build.ml

src/plugins/postdominators/compute.ml

src/plugins/server/main.ml

src/plugins/server/main.mli

src/plugins/server/server_parameters.ml

src/plugins/server/server_parameters.mli

src/plugins/value/engine/iterator.ml

src/plugins/wp/Conditions.ml

src/plugins/wp/calculus.ml

src/plugins/wp/cil2cfg.ml