JIT: How to deploy the JIT binary

[marzipankaiser]

Currently, the binary for the JIT is a blob in the git repository at https://github.com/effekt-lang/effekt/blob/jit/bin/x86_64/rpyeffect-jit.

We should find a better solution for this, that makes updates easier and puts a smaller load on git.

[marzipankaiser]

It would be good if we had a solution to this before merging #119 and #122, which both would require an updated version of this binary.

[b-studios]

One possible solution would be to store it as a release artifact in the JIT repo (potentially built by CI) and then download it using sbt. That shouldn't be too hard to setup, but would require the other repo to become public, which we should discuss first.

[b-studios]

@marzipankaiser can we close this issue or is there something left?