chore: Release 1.17.0

[saig0]

Description

• Maven release of 1.17.0 (i.e. updating the POM)
• Append the changelog
• Release the docs version
• Update the version in the REPL

Related issues

closes #719

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

github-actions[release]@users.noreply.github.com seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[saig0]

@nicpuppa I released a new version. Please have a quick look. :cookie: You can ignore the major doc changes because they are generated by Docusaurus. :building_construction: