[release] Release changelog for 29.0

releases/29.0.md

+# Kernel
+- Introduce \plugin:: prefix for ACSL extensions
+- Refactor current location handling mechanism
+- Removal of Db (Db.Main.extend is deprecated). Features related to asynchronous
+  interactions are now handled in module Async
+- Merged AST nodes TCastE and TLogic_coerce
+- Various fixes and improvements
+
+# Alias
+- Better analysis results in the presence of structures
+- Rework the API and improved the documentation
+
+# Eva
+- Better reporting for garbled mix
+- Improved handling of \valid and \valid_read
+
+# E-ACSL
+- Fix TLS segment start address and size
+- Remove option -e-acsl-version
+
+# WP
+- Introduce goal visualization and tactics in Ivette
+- Introduce counter examples via the new option -wp-counter-examples. Also
+  introduce an ACSL extension to create probes on terms for counter examples.
+
+# Ivette
+- Better feedback on Eva values evaluation
+- Improved responsiveness when handling large code
+- Several quality-of-life fixes and improvements