Release

The software release has four main goals:

1. Merge the new features to the production branch
2. Create a GitHub Release
3. Update the documentation
4. Publish a new version of the package at PyPI

The 📝 RELEASE_PROCEDURE.md contain detailed instructions to do a release.