Replace socks with socks5 in proxy protocol

[wh201906]

Motivation

Fixes #1769
The net/http package in arduino-cli supports socks5 as scheme rather than socks. This PR replaces socks with socks5 in proxy protocol to make socks proxy work.

Change description

1. Replaces socks with socks5 in proxy protocol
2. Show SOCKS5 in Preferences->Network

Other information

Reviewer checklist

• PR addresses a single concern.
• The PR has no duplicates (please search among the Pull Requests before creating one)
• PR title and description are properly filled.
• Docs have been added / updated (for bug fixes / features)

[CLAassistant]

All committers have signed the CLA.

[wh201906]

I tested it on Windows. Both socks proxy and http proxy work

// after setting a socks5 proxy
2022/12/16 15:52:30 tcp:127.0.0.1:51372 accepted tcp:downloads.arduino.cc:443 [socks -> proxy]
2022/12/16 15:52:31 tcp:127.0.0.1:51374 accepted tcp:raw.githubusercontent.com:443 [socks -> proxy]
// after setting a http proxy
2022/12/16 15:52:54 127.0.0.1:51388 accepted //downloads.arduino.cc:443 [http -> proxy]
2022/12/16 15:52:55 127.0.0.1:51390 accepted //raw.githubusercontent.com:443 [http -> proxy]

I used Windows_X86-64_zip in the build artifacts for test
https://github.com/arduino/arduino-ide/actions/runs/3710694526

[kittaakos]

Thank you for the help. The code looks good. I agree SOCKS5 would better qualify the protocol in the UI, but the (old) IDE 1.x shows SOCKS.

We should consider that tutorials, documentation, and screenshots might exist with SOCKS on the Internet. I am OK with the change too.

[wh201906]

@kittaakos Shall I replace the SOCKS5 with SOCKS back in the Network panel?

[kittaakos]

Shall I replace the SOCKS5 with SOCKS back in the Network panel?

I am OK with both. If you do not change it to SOCKS5, there is nothing to discuss UI-wise. Hence the review will be faster. If you prefer to change the UI, we must discuss it with the designers first. It's up to you.

[wh201906]

I prefer to change the UI. Thanks for your reply.

[per1234]

I verified this fixes #1769

Thanks @wh201906!

[kittaakos]

I am OK merging the PR as is, including the UI changes, as it fixes basic IDE2 functionality. We can open a follow-up and figure out internally what to do with the UI.

[wh201906]

I am OK merging the PR as is, including the UI changes, as it fixes basic IDE2 functionality. We can open a follow-up and figure out internally what to do with the UI.

Do I need to revert the UI changes in this PR, then open a new PR for it?

[kittaakos]

Follow-up: #1782