ethos is a flexible and efficient proof checker for SMT solvers

• Update the NEWS file, ensuring that all changes since the last release are listed. The title of the section should be ethos x.y.z, without the prerelease annotation.

• Update the version number in this line.

• Commit and push the changes above.

• Create a draft release with a new tag named ethos-x.y.z, and copy the contents of the NEWS file for version x.y.z into the description.

• Add the binaries from the latest CI run to the draft release.

• Finally, publish the release.