Maintenance

Create a release

export NEW_NOIS_CONTRACTS_VERSION=0.9.0
Run ./devtools/set_version.sh "$NEW_NOIS_CONTRACTS_VERSION"
Set release version and date in CHANGELOG.md and amend the commit from 1.
Run git tag "v$NEW_NOIS_CONTRACTS_VERSION"
git push && git push --tags