AAC Tactics bugfix release for Coq 8.13

Bugfix release with Coq 8.13 compatibility that fixes incompatibility with OCaml 4.12.

AAC Tactics release for Coq 8.14

Release with Coq 8.14 compatibility.

AAC Tactics release for Coq 8.13

Release with Coq 8.13 compatibility.

AAC Tactics release for Coq 8.12

Release with Coq 8.12 compatibility, featuring the following changes:

• adapt to Coq 8.12 plugin API
• optional support for building with Dune

AAC Tactics release for Coq 8.11

Release with Coq 8.11 compatibility, featuring the following changes:

• adapt to Coq 8.11 plugin API
• switch from using omega tactic to lia

AAC Tactics release for Coq 8.10

Release with Coq 8.10 compatibility, featuring the following changes:

• adapt to Coq 8.10 plugin API
• improvements such as removal of CPS
• documentation updates

AAC Tactics release for Coq 8.9

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

• port to Coq 8.9
• reorganization to use modern build scripts
• improve documentation