allow selection of workspace proxy


We deploy a set of workspace proxies around the world with a certain service provider.
That provider recently had an outage, and this appears to have lead to higher-than-normal latency on the proxy closest to me (Johannesburg). The proxy with the lowest latency doesn't seem to be chosen, nor can I configure it.

As a user I expected to be able to control this since I can select my preferred proxy in the Coder dashboard:


Das Issue nennt keine Dateien, Tests oder Einstiegspunkte. Beginne damit nachzuverfolgen, wie die Extension einen Coder workspace proxy auswählt und sich mit ihm verbindet, und vergleiche dieses Verhalten anschließend mit der Steuerung für den bevorzugten Proxy im Coder-Dashboard. Als abgeschlossen gilt die Aufgabe, wenn ein Benutzer einen workspace proxy auswählen kann und die Extension diese Auswahl verwendet, auch wenn Proxys unterschiedliche Latenzen haben.

Vom Indexierungsmodell aus dem Issue-Text verfasst.