Elide in CI

Elide ships a GitHub action:

yaml
- name: "Setup: Elide"
  uses: elide-dev/setup-elide@v2
  with:
    # omit a version to use the latest version.
    version: 1.0.0