[doc] resolve various markup warnings

src/kernel_services/abstract_interp/lattice_type.mli

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_data/property_status.mli

src/kernel_services/ast_queries/acsl_extension.mli

src/kernel_services/ast_queries/ast_info.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_const.mli

src/kernel_services/parsetree/logic_ptree.mli

src/kernel_services/plugin_entry_points/log.mli

src/libraries/datatype/descr.mli

src/libraries/utils/bitvector.mli

src/libraries/utils/command.mli

src/libraries/utils/json.mli

src/plugins/e-acsl/src/analyses/typing.mli

src/plugins/gui/design.mli

src/plugins/gui/gtk_helper.mli

src/plugins/scope/defs.mli

src/plugins/server/request.mli

src/plugins/value/domains/abstract_domain.mli