better title in CITATION

CohenCyril · CohenCyril · commit 574912bcf250 · 2025-06-12T16:12:01.000+02:00
diff --git a/CITATION.cff b/CITATION.cff
@@ -1,9 +1,10 @@
 cff-version: 1.2.0
+title: "Stable sort algorithms and their stability proofs in Rocq"
+license: "CeCILL-B"
 authors:
   - family-names: Cohen
     given-names: Cyril
     orcid: https://orcid.org/0000-0003-3540-1050
   - family-names: Sakaguchi
     given-names: Kazuhiko
     orcid: https://orcid.org/0000-0003-1855-5189
-title: "stablesort"
