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