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.