Sail 0.17.1

• Fixes for Coq 8.18.0 support
• Add a few minor missing built-in functions
• Make more vector functions transparent
• Add support for new Sail concurrency interface for stdpp package

Corresponds to the 0.17 / 0.17.1 Sail release.

Release 0.16

First release from the separate coq-sail repository. This makes the packaging for opam somewhat easier. Corresponds to the 0.16 Sail release.