Add GitHub workflows for releasing Vamp-ir binaries (#108)

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

- Closes #90 
- Progress #72 (maybe close this one, not exactly sure how to do the
bench thingy atm)

This PR goes after:

- #102
- #104

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

- anoma/juvix#2199
- anoma/juvix#2138

## How to create a new release?


https://github.com/anoma/vamp-ir/assets/1428088/7a87ba23-3ad5-43bf-aa42-a562421d4920

### The output

![Screenshot 2023-06-16 at 14 07
15](https://github.com/anoma/vamp-ir/assets/1428088/26643eba-eed6-4b3e-89b5-ce4b8bc7867b)

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.

Merge pull request #91 from anoma/main

Add case fod DivideZ in halo2's evaluate_expr

Merge pull request #66 from anoma/rewrite_readme

Update README

Sync cargo.toml and main

Now searches for inputs at {filename}.inputs

Sync cargo.toml and main

Merge pull request #42 from anoma/halo2

Halo2