Checklist for release (for maintainer)

0. Check in good code ;-). Check that tests run ok, javadoc is ok.
   (Ideally) update documentation IrpTransmogrifier,xml.
   Update subtree common. (git subtree pull --prefix common git@github.com:bengtmartensson/HarctoolboxCommon.git master)
1. Update pom.xml: Bump version; can use make setversion NEWVERSION=x.y.z.)
   Check/update version of IrpProtocols.xml.
   Update releasenotes. Update copyright year(?).
   If applicable, update .github/workflows/maven.yml.
   Checkin.
2. mvn clean, mvn install; make sure commitId is OK.
3. push, make sure CI build is ok.
4. make tag.
5. Create release on GitHub, using just created tag. Upload
   *.bin.zip. releasenotes, checksums.
6. Delete CI build.
7. make deploy. If error, try again. Can take a several hours, even
   days, until it shows up at
   https://mvnrepository.com/artifact/org.harctoolbox/
   Faster: https://repo.maven.apache.org/maven2/org/harctoolbox/
8. make gh-pages.
9. cd .../www.harctoolbox.org; make clean; make site.
#10 cd build/site/en/; make clean; make site
11. Upload IrpTransmogrifier.html IrpTransmogrifier.pdf
    IrpTransmogrifier.releasenotes.txt wholesite.html wholesite.pdf
    IrScrutinizer.version
    to harctoolbox.org.
12. make clean.
13. (If applicable) Close Milestones etc.
14. Set version to *.*.*-SNAPSHOT.

Problems with deployment: log in to oss.sonatype.org (Jira id), examine "Staging repositories".