[Feature Request] Alternative tools download links support #77
Description
In China, when I try to use this, I found that it takes a long time to download tools from github or cache server. Espressif provides another way to boost the download speed using dl.espressif.com which is friendly to Chinese mainland users. Is it possible to integrate to this repo as a feature?