Allow for reset in html doctor

[ckipp01]

This pr adds in an (Reset) option in the html view of the doctor to reset your build server choice. The button is only shown if you've explicitly chosen a build server. So for a user that just connects and uses the default, they will see that they are using Bloop as their build server, but won't be able to reset it, because there is no choice made.

So after making a choice if they do a bsp-switch, they the flow would look like this if they wanted to use Doctor to switch back and forth.

Closes #2171

[tgodzik]

LGTM!

[gabro]

How does this work in tools that don't use html, such as vim? There's another dedicated command and this is just a shortcut?

[ckipp01]

How does this work in tools that don't use html, such as vim? There's another dedicated command and this is just a shortcut?

Yup, exactly. So what the html view is doing is just adding the param to reset-choice to be sent in. If there is no param, then you enter the "interactive" reset. So in Vim it would look like this:

This worked before, and it also works in VS Code if you just trigger it from the command palette.