tree c17403b641fde57b9353e0b10c809b5cad242a7a
parent 74dc865420723fef3595b04c2c380a1a21cbe8ee
author kmurray <k.murray@utoronto.ca> 1572983140 -0500
committer kmurray <k.murray@utoronto.ca> 1572983579 -0500

infra: Add support for downloading Titan benchmarks from a mirror

download_titan.py can now take a --mirror option, which controls
where to download the titan benchmarks from:
  * 'eecg': Download from the University of Toronto EECG servers
  * 'google': Download from Google cloud storage

At the moment 'eecg' is the default (same as previous behaviour), in the
future we may flip to 'google'.