[doc] remove old @modify

src/kernel_internals/parsing/logic_lexer.mli

src/kernel_internals/runtime/fc_config.mli

src/kernel_internals/runtime/messages.mli

src/kernel_internals/typing/cabs2cil.mli

src/kernel_internals/typing/oneret.mli

src/kernel_services/analysis/service_graph.mli

src/kernel_services/analysis/stmts_graph.mli

src/kernel_services/ast_data/alarms.mli

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/ast.mli

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_printing/printer.mli

src/kernel_services/ast_printing/printer_api.mli

src/kernel_services/ast_queries/ast_info.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_const.mli

src/kernel_services/ast_queries/file.mli

src/kernel_services/ast_queries/filecheck.mli