Stalmarck release for Coq 8.20

Release with Coq 8.20 compatibility.

Stalmarck release for Coq 8.19

Release with Coq 8.19 compatibility.

Stalmarck release for Coq 8.18

Release with Coq 8.18 compatibility.

Stalmarck release for Coq 8.17

Release with Coq 8.17 and OCaml 5 compatibility.

Stalmarck release for Coq 8.16

Release with Coq 8.16 compatibility.

Stalmarck release for Coq 8.15

Release with Coq 8.15 compatibility.

Stalmarck release for Coq 8.14

Release with Coq 8.14 compatibility.

Stalmarck release for Coq 8.13

Release with Coq 8.13 compatibility, featuring the following changes:

• support for building with Dune
• separate packaging of Coq theories and tactic/tool
• only use local and export locality for hints

Stalmarck release for Coq 8.9

Release after move to Coq-community, with Coq 8.9 compatibility, featuring the following changes:

• fix deprecations
• better use of coq_makefile features in build scripts
• improve documentation