Proxy Setting in Arduino Pro IDE

[TheSemiconductor]

It would be nice to have an easy way to set a proxy in the ide. I know there's a way to do that in the CLI but i still haven't figured out how to do that.

[kittaakos]

Blocked by arduino/arduino-cli#1161

[kittaakos]

@TheSemiconductor, could you please try the proxy settings with the nightly build and let us know how it works? Thank you!

[kittaakos]

Implemented.