net: Support no_proxy and https_proxy

[Narfinger]

This now respects the no_proxy and https_proxy variables with a matching pref (read from the environment).

We now have a new ProxyConnector which uses the hyper_util match to either construct a Tunnel or clone the ServoHttpConnector inside.

This could potentially be slower if every connection is proxied as we redo the tunnel for every new connection. I think this is how the structure is intended to be used as
technically the http_proxy variable can have different proxy assignments per uri.

Signed-off-by: Narfinger Narfinger@users.noreply.github.com

Testing: Tested via setting the no_proxy variable and testing those websites vs proxied websites.
Fixes: #41687

[yezhizhen]

Seems to be a issue with Apache server, which contains Kotlin resource to build Android. I just tried and the resource can be fetched now. Let's run that test.

[github-actions]

🔨 Triggering try run (#20749145398) for Android

[github-actions]

⚠️ Try run (#20749145398) failed!

[yezhizhen]

A problem occurred configuring root project 'apk'. > Could not resolve all artifacts for configuration ':classpath'. > Could not download kotlin-stdlib-jdk8-1.9.20.jar (org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.9.20) > Could not get resource 'https://repo.maven.apache.org/maven2/org/jetbrains/kotlin/kotlin-stdlib-jdk8/1.9.20/kotlin-stdlib-jdk8-1.9.20.jar'. > Could not GET 'https://repo.maven.apache.org/maven2/org/jetbrains/kotlin/kotlin-stdlib-jdk8/1.9.20/kotlin-stdlib-jdk8-1.9.20.jar'. Received status code 403 from server: Forbidden 

I don't know why runner cannot get these.

[Narfinger]

There is some problem on github currently. There is already a discussion on zulip: #general > Android builds are busted atm