Build binaries using CI pipeline

[charlysan]

I've created a Github Action pipeline that can build the firmware for pico using a Docker container, and then upload the binaries as an asset within a release:

The pipeline gets triggered only when a new tag is created, and the assets will be uploaded to that release.

If you like this approach, I can push a Pull Request from my fork.

[mlorenzati]

Of course @charlysan that's an excellent collaboration, share the PR and I will review it