Worksheets/Server Changes

Disk and time quotas for run bundles that do not specify them are now set to the total left for the user. Note that if a user starts multiple runs without specifying these quotas and together the runs go over the quota, one of them will fail
Monitor script is now more lenient with runtime of runs in case they stay staged for a long time.

CLI Changes

The CLI may now be configured to pass extra HTTP headers with its REST requests. These may be set up in the CodaLab config file.

Docker image management fixes: Docker image size limiting process now doesn't touch images actively being used (or expected) by a run. This prevents infinite looping docker image downloads even in pathological cases
Dependency manager is now more resilient to external filesystem changes and just overwrites if a dependency directory it expects to be empty happens to be there.
Dependency manager now prunes failed dependencies and retries downloading them if they are requested >10 seconds after the initial failure. This prevents dependency download failures.