解决arduino2 esp32安装失败

输入这个即可

https://ghproxy.com/https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json