[ chore ] Publish Github releases

[yonas]

It would be nice to see releases on the GitHub releases page.

[bvssvni]

Currently, I put the version number in the title of a commit.
So, you can use the commit history to learn about what has changed.

When things get more stable, I'll think we'll start using release pages.
This is also something we can add later.