Publish git tags as actual GitHub releases

This lets users get notifications directly in GitHub when a new version is released.

See https://docs.github.com/en/repositories/releasing-projects-on-github/managing-releases-in-a-repository