chore: changelog for v2.5 (#2537)

Author: quentin

debian/changelog

@@ -1,3 +1,12 @@
+souffle (2.5.0) stable; urgency=low
+ * Lattice support
+ * Doc comments and annotations
+ * Relations with arity up to 22 in intepreter
+ * Let `to_number` infer the base
+ * Misc fixes and refactoring
+
+ -- Quentin Sabah <[email protected]> Wed, 12 Mar 2025 20:00:00 +0100
+
 souffle (2.4.1) stable; urgency=low
  * Remove escapes in arch build (XiaowenHu96)
  * fix windows CI (quentin)
@@ -14,7 +23,7 @@ souffle (2.4.1) stable; urgency=low
  * fix sqlite reading of empty values (dbueno)
  * symbol concatenation with binary `+` (quentin)
 
- -- Quentin Sabah <[email protected]>  Web, 11 Oct 2023 11:00:00 +0100
+ -- Quentin Sabah <[email protected]>  Wed, 11 Oct 2023 11:00:00 +0100
 
 souffle (2.4) stable; urgency=low
  * New option --generate-many to split the generated C++ Code into multiple files (julienhenry)