Release push tool as a single binary

[theoriginalgri]

Currently the push tool residing in the push subdirectory needs to be built manually. That means in most of my pipelines, I have to clone the repo and build the tool.

It would be great, if you could version, pre-build and provide a GitHub release for it, so that this can be downloaded from GitHub in automated jobs and even have renovate propose updates.

[laopaoer-wallet]

I agree.