Use GitHub releases instead of binaries directly in the repo

[amedee]

Stop putting release binaries in the git repository and start using GitHub releases instead. See more info at https://docs.github.com/en/repositories/releasing-projects-on-github/about-releases