[kernel] Remove deprecated options

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

tests/float/const.i

tests/float/const3.i

tests/float/const4.i

tests/float/cte_overflow.i

tests/float/dr_infinity.i

tests/float/extract_bits.i

tests/float/logic.i

tests/float/parse.i