* webide: build webide image when sdk releases
* add scripts which check the latest version of sdk. If webide docker
image version does not exist or is older than the sdk version, it will
kick off a build of the webide docker image
* add job to azure cron
* webide: minor response to review
There is no simple way to configure GCS to serve the desired security
headers, so instead the script will keep updating the existing s3
bucket.
Consequent changes:
- Add aws cli tool to dev-env
- Remove docs bucket from Terraform
- Set reasonable timeout. We want this to run once per hour, so it
should never run for longer than that.
- Fix gcp deploy command to target the right directory. That somehow got
lost in the manual changes between the PR and what I was manually
running on CI.
- Keep the not-found page intact, so as to not break 404 responses.
- Retry up to ten times to install nix packages, for each version. Nix
package download can be a bit flaky, especially when we download large
collections of packages (e.g. texlive), and Bazel is very unforgiving
towards flaky nix downloads so instead we now preload all the packages
before invokin Bazel.
