[cil] Place noreturn attr in fun type

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/ast_data/kernel_function.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/filecheck.ml

src/plugins/eva/engine/iterator.ml

src/plugins/eva/engine/transfer_specification.ml