Update Dune 3.17.1

[maiste]

This PR updates the dune version to 3.17.1. I have computed the sha using sha256sum as it is my first time with Nix, does it work, or should I do it another way?

[anmonteiro]

This PR updates the dune version to 3.17.1.

Thanks!

I have computed the sha using sha256sum as it is my first time with Nix, does it work, or should I do it another way?

Nix has its own hashing so in this case you'd need to run nix-prefetch-url --type sha256 <URL>

[maiste]

Thanks, I added the command to the wiki page of release process of Dune for future reference!

[ulrikstrid]

Ideally we should use the command:
nix hash to-sri --type sha256 $(nix-prefetch-url --type sha256 <URL>)

That would allow us to change to hash = ... instead of sha256 = ... which is the preferred option.