Release Coquelicot 3.3.1 for compatibility with MathComp 1.17.0
It would be nice to get a release of Coquelicot since 3.3.0 is not compatible with the recently released MathComp 1.17.0. I can take care of the OPAM and Nix packages once the release is done.