Add release pipeline to build for all versions

[Bart-Do]

To make the release process and the binary distribution process easier for users (preventing things like builds failing etc.), introduce pipelines to make build easier for us and installing easier for them.

We do this by implementing CI and release workflow (can be simple for now) to build and release binaries + add a script similar to those of Scarb to allow user to download a specific version of our verifier.

• Add CI to build for mac & linux for now.
• Add a script to allow user to easily download our verifier.
• Find out how the release page works and can it hosts the binaries we need to distribute