[doc] various line break fixes

src/kernel_services/abstract_interp/int_set.mli

src/kernel_services/analysis/stmts_graph.mli

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_data/property_status.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_builtins.mli

src/kernel_services/ast_queries/cil_const.mli

src/libraries/project/state_builder.mli

src/libraries/stdlib/extlib.mli

src/libraries/utils/bitvector.mli

src/plugins/e-acsl/src/libraries/functions.mli

src/plugins/pdg/annot.mli

src/plugins/pdg/ctrlDpds.mli

src/plugins/slicing/fct_slice.mli

src/plugins/slicing/slicingMarks.mli

src/plugins/sparecode/Sparecode.mli

src/plugins/wp/Lang.mli