add tests for try aac_rewrite and try aac_normalise

Merge pull request #142 from coq-community/canonical-ordering

Canonical ordering for aac_normalise tactic

fix README.md Nix shield

ad-hoc Coq-Docker-Action config for 8.18

adjust Nix CI

update templates and generate boilerplate for 8.16

Merge pull request #115 from coq-community/backport-master-8.15

Backport master fixes and improvements to 8.15

adjust boilerplate for 8.15

make documentation and meta.yml consistent

Merge pull request #92 from coq-community/v8.13+idemfix

Make 8.13 consistent with 8.14