Release process improvements

[lisanna-dettwyler]

• Remove setup skip branches in .github/ci.sh
• Set nightly to cron: "0 10 * * *" # 10am UTC -> 2/3am PST
• Standardize config parameters and logic
• Implement release conditions:
  • release branch and project versions match: [[ "refs/heads/release-$(.github/ci.sh ver)" == "${{ github.event.ref }}" ]]
  • release branch and most recent tag match: [[ "refs/heads/release-$(git describe --tags --abbrev=0)" == "${{ github.event.ref }}" ]]
• Don't have a separate bundle step - put those in the build jobs
• Container image push logic

   - if: needs.config.outputs.event-schedule == 'true'
     name: ${{ matrix.image }}:nightly
     run: |
       docker tag ${{ matrix.image }}:$COMMON_TAG ${{ matrix.image }}:nightly
       docker push ${{ matrix.image }}:nightly
   - if: needs.config.outputs.release == 'true'
     name: ${{ matrix.image }}:${{ needs.config.outputs.version }}
     run: |
       docker tag ${{ matrix.image }}:$COMMON_TAG ${{ matrix.image }}:${{ needs.config.outputs.version }}
       docker push ${{ matrix.image }}:${{ needs.config.outputs.version }}
       docker tag ${{ matrix.image }}:$COMMON_TAG ${{ matrix.image }}:latest
       docker push ${{ matrix.image }}:latest

• Runnable container images are published to ghcr.io/galoisinc/cache-cryptol and ghcr.io/galoisinc/cache-cryptol-remote-api for each CI ref. This makes the images instantly runnable by the developer on their local machine. Example:

  $ docker run --rm ghcr.io/galoisinc/cache-cryptol:1176-merge --version
  Unable to find image 'ghcr.io/galoisinc/cache-cryptol:1176-merge' locally
  1176-merge: Pulling from galoisinc/cache-cryptol
  f7ec5a41d630: Already exists 
  daf0556132fa: Pull complete 
  031374c57dea: Pull complete 
  a8c434afeb3e: Pull complete 
  b0a1b341d58b: Pull complete 
  Digest: sha256:3be5a66def658919031361f23aa75cdbe7e30a8ffd31af41ecac959ebf5ab7a6
  Status: Downloaded newer image for ghcr.io/galoisinc/cache-cryptol:1176-merge
  Cryptol 2.11.0.99
  Git commit UNKNOWN
      branch UNKNOWN
  

Closes #1175

[atomb]

Looks good!