Adding codedmeta.json file + CREDIT.

Every author should fill his part.

CREDIT.md

+The following people have contrinuted to the Pactole library. See also
+the LICENSE file.
+
+Cédric Auger (2013)
+Thibaut Balabonski(2016-2017)
+Sebastien Bouchard(2021-)
+Pierre Courtieu (2013-)
+Robin Pelle (2016-2020)
+Lionel Rieg (2019-)
+Xavier Urbain (2013-)
+

codemeta.json

+{
+    "@context": "https://doi.org/10.5063/schema/codemeta-2.0",
+    "@type": "SoftwareSourceCode",
+    "name": "Pactole",
+    "license": "https://spdx.org/licenses/LGPL-3.0",
+    "codeRepository": "https://gitlab.liris.cnrs.fr/pactole/coq-pactole",
+    "relatedLink": "TODO? https://???",
+    "dateCreated": "TODO 2013-??-??",
+    "datePublished": "TODO 2024-???",
+    "version": "TODO 2.0???",
+    "description": "TODO A Coq library formalizing the distributed computing model for robot swarm called Look-Compute-Move (due to Suzuki and Yamashita) and several case studies in this model. ",
+    "applicationCategory": "FIXME: Formal development",
+    "releaseNotes": "TODO Second release.",
+    "runtimePlatform": "Coq-8.20",
+    "developmentStatus": "active",
+    "funding": [
+        { "@type":"Grant",
+          "identifier": "Digiteo Project #2009-38HD" } ,
+        { "@type":"Grant",
+          "identifier": "ANR Project 2019-CE25-0005" }
+    ],
+    "keywords": [
+        "distributed systems",
+        "formal proof",
+        "robot swarm"
+    ],
+    "programmingLanguage": [
+        "Coq/Rocq"
+    ],
+    "runtimePlatform": [
+        "Coq/Rocq"
+    ],
+    "author": [
+        {
+            "@type": "Person",
+            "@id": "https://orcid.org/0000-0001-8789-9781",
+            "givenName": "Pierre",
+            "familyName": "Courtieu",
+            "email": "Pierre.Courtieu@lecnam.net",
+            "affiliation": {
+                "@type": "Organization",
+                "name": "Conservatoire National des Arts et Métiers"
+            }
+        },
+        {
+            "@type": "Person",
+            "@id": "https://orcid.org/XXX",
+            "givenName": "Xavier",
+            "familyName": "Urbain",
+            "email": "???",
+            "affiliation": {
+                "@type": "Organization",
+                "name": "Université???"
+            }
+        }
+    ],
+    "contributor": "TODO: Les stagiaires comme ci-dessus?",
+    "citation": "TODO un papier décrivant Pactole"
+}