Prepare for release 1.20250605 and for moving development from devel to master

[gkreitz]

Prepares for a new release (1.20250605)

• Updates release procedure (still partially untested, for obvious reasons).
• Updates the README, being a bit more clear about dependencies (No support for F# #212) and how to run using docker

Next steps:

• Merge this PR to develop
• Create a PR merging develop into master
• Update repository settings, changing master to be the default branch, and move branch protection rules
• Create a release with github, adding the appropriate tag
• Build pypi and docker hub packages

Fixes #212