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:


A issue não menciona arquivos, testes nem pontos de entrada. Comece rastreando como a extensão seleciona e se conecta a um Coder workspace proxy e, em seguida, compare esse comportamento com o controle de proxy preferencial no dashboard do Coder. O trabalho estará concluído quando um usuário puder selecionar um workspace proxy e a extensão usar essa seleção, inclusive quando os proxies tiverem latências diferentes.

Escrita pelo modelo de indexação a partir do texto da issue.