Make hahn compatible again with Coq 8.13 and *.14, and update the opam file

[tperami]

With this small fix, users can use Hahn with Coq 8.13 to 8.15 and install it with a plain opam pin . in the repository