Huffman 8.12.0 maintenance release

Maintenance release with Coq 8.12 compatibility, featuring the following changes:

• update metadata and documentation
• optional support for building and extracting code with Dune