Add no_proxy support

[jsjoeio]

Our proxy patch is missing in VS Code but I am not sure if we need it...they do already support http_proxy and https_proxy (for extensions using the api) but not no_proxy so it could be a breaking change

@code-asher noticed we were missing patches to support HTTP proxies in VS Code. We're going to fix this because we believe it is used by some community and enterprise members.

edit by @code-asher: I thought there was API for extensions to make requests but I actually cannot find it so we will need the patch to support HTTP proxies at all.

[jsjoeio]

@code-asher after that PR is merged into vscode, we probably want to bump the version in code-server. Happy to own that.

[jsjoeio]

no_proxy does not seem to work but I tested previous versions and trying to use a proxy causes an infinite loop so...it was already broken. Maybe we can patch support in for no_proxy but we have to find where this happens first. In any case the current state is an improvement over infinite loops.

coder/vscode#36 (comment)

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no activity occurs in the next 5 days.