Add GitHub workflows for releasing Vamp-ir binaries

[jonaprieto]

This PR adds GitHub workflows for testing the VampIR code base and releasing Vamp-ir binaries
for different architectures, see below.

• Closes Update Binary Naming Convention for Compatibility with GitHub Action #90
• Progress Github actions for continuous integration #72 (maybe close this one, not exactly sure how to do the bench thingy atm)

This PR goes after:

• Clippy and FMT code improvements. #102
• Add json5 support for witness inputs #104

This PR is needed to test VampIR compilation pipeline in the Juvix Compiler:

• Update vamp-ir CI installation juvix#2199
• Update to the new version of VampIR juvix#2138

How to create a new release?

vampir.mp4

The output

NB: the version used above that does not necessarily match the version found in the Cargo.toml. One improvement is precisely extracting that version from this file. However, I foresee extra work to handle cases like if the tag is already published.

[jonaprieto]

There are some warnings in the CI. We can probably get rid of them using another action, possibly this one:

• https://github.com/dtolnay/rust-toolchain