Applies generative functors to () instead of deprecated (struct end).

src/kernel_services/ast_queries/logic_env.ml

src/kernel_services/cmdline_parameters/cmdline.ml

src/kernel_services/plugin_entry_points/db.ml

src/libraries/project/project.ml

src/plugins/e-acsl/src/libraries/gmp_types.ml

src/plugins/gui/gtk_helper.ml

src/plugins/gui/launcher.ml