Remove Transitioning functions added in 4.03, 4.04 and 4.05

bin/migration_scripts/potassium2calcium.sh

headers/header_spec.txt

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_printing/description.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/cmdline_parameters/cmdline.ml

src/kernel_services/plugin_entry_points/dynamic.ml

src/kernel_services/plugin_entry_points/journal.ml

src/kernel_services/plugin_entry_points/log.ml

src/kernel_services/plugin_entry_points/plugin.ml

src/libraries/datatype/datatype.ml

src/libraries/stdlib/extlib.ml

src/libraries/stdlib/extlib.mli

src/libraries/stdlib/transitioning.ml.in

src/libraries/stdlib/transitioning.mli

src/libraries/utils/floating_point.ml