Update Changelog after merging !4335

Changelog

@@ -18,6 +18,8 @@
 Open Source Release <next-release>
 ###############################################################################
 
+o!   Kernel   [2024-03-07] More coherent naming of functions determining if a
+                           symbol is a Frama-C built-in.
 -*   Kernel   [2024-03-04] Accept conditional expr whose 2d and 3d operands
                            have type void, as per C11 6.5.15§3
 -*   Kernel   [2024-02-22] When an array is declared with a fixed length l,