[alias] Changelog entry for "new" alias plugin

Changelog

@@ -18,6 +18,10 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Alias     [2023-09-07] New alias plugin that implements a points-to
+              analysis and an alias analysis based on Steensgaard's algorithm.
+              For these purposes it presents a more efficient (albeit less
+              precise) alternative to Eva. See src/plugins/alias/README.md.
 -   Kernel    [2023-09-04] Fix #@846 (printing ACSL attribute in ghost code)
 o   Kernel    [2023-07-24] Expose Cil functions for type compatibility
 

src/plugins/alias/README.md

@@ -13,6 +13,9 @@ changes the value of the other pointer and vice versa.
 
 The plugin implements a variant of « Steensgaard's algorithm ».
 
+Note that the Eva plugin also implements a points-to analysis, which is much
+more precise but also much less efficient than this plugin.
+
 ## Usage
 
 To run the may-alias analysis either: