Mirror build tools which are hosted on tor-hostile domains

When trying to download files from dl.google.com (for example https://dl.google.com/android/repository/build-tools_r33.0.1-linux.zip) using Tor, the answer is a 404 error. The same URL works without Tor.

In projects/android-toolchain/config we are downloading a few files from dl.google.com, so this makes it difficult to build Tor Browser using Tor.

Maybe we should mirror those files.

EDIT: old title: 'dl.google.com is blocking Tor'