Add mailmap and contributor list.

.mailmap

@@ -0,0 +1,16 @@
+## https://github.com/craff
+Christophe Raffalli <christophe@raffalli.eu>         craff <christophe@raffalli.eu>
+Christophe Raffalli <christophe@raffalli.eu>         raffalli <raffalli@univ-savoie.fr>
+Christophe Raffalli <christophe@raffalli.eu>         christophe.raffalli <christophe.raffalli@univ-savoie.fr>
+Christophe Raffalli <christophe@raffalli.eu>         craff <christophe@raffalli.eu>
+Christophe Raffalli <christophe@raffalli.eu>         craff <raffalli@univ-savoie.fr>
+Christophe Raffalli <christophe@raffalli.eu>         Christophe Raffalli <raffalli@univ-savoie.fr>
+Christophe Raffalli <christophe@raffalli.eu>         Christophe Raffalli <christophe@raffalli.eu>
+
+## https://github.com/rlepigre
+Rodolphe Lepigre <lepigre@mpi-sws.org>               Rodolphe Lepigre <rodolphe.lepigre@inria.fr>
+Rodolphe Lepigre <lepigre@mpi-sws.org>               rodolphe.lepigre <rodolphe.lepigre@univ-savoie.fr>
+Rodolphe Lepigre <lepigre@mpi-sws.org>               Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>
+
+## https://github.com/adelaett
+Alain <alain@inria.fr>                               alain <90894311+adelaett@users.noreply.github.com>

README.md

@@ -34,3 +34,15 @@ You can either pin the repository with opam or run the following.
 make
 make install
 ```
+
+Contributors
+------------
+
+Main contributors:
+- Christophe Raffalli ([@craff](https://github.com/craff), author of the first version)
+- Rodolphe Lepigre ([@rlepigre](https://github.com/rlepigre))
+
+The project received additional contributions from:
+- Alain ([@adelaett](https://github.com/adelaett))
+- Rémi Nollet ([@rnollet](https://github.com/rnollet))
+- Qiancheng Fu ([@qcfu-bu](https://github.com/qcfu-bu))