This adds support for downloading from our github mirror.
The two formats supported by downloading are zip and gz (.tar.gz).
This will require all repos to have the same name as the mirror repo
otherwise downloading from the branch will not work.
Change-Id: Ifad2292404202ef3180f28cfdf690d423429dfc3