Add local IDEs (vscode and jetbrains) options to the user settings

[atduarte]

The user should be able to select what IDE they prefer and the options should be:

• vscode in the browser
• vscode in the desktop + vscode in the browser (fallback)
• pycharm + vscode in the browser (fallback)
• webstorm + vscode in the browser (fallback)
• intellij + vscode in the browser (fallback)
• ...

Additionally, the user should be able to select the version for each IDE. (e.g. desktop vscode latest + browser vscode stable as fallback).

@gtsiolis Do you have any ideas on how to visually present these options?

cc @corneliusludmann @akosyakov

[loujaybee]

Rough wireframe suggestion for how this could look, where the cloud/browser option has to be selected (no off) and the Desktop is defaulted to off, but can be enabled as one of the IDE's.

I think getting the help text and language right will be important.

Later, we might want to consider a "master" default which is set across both these categories (desktop/browser).

So, for example, if the user wants to use VSCode Desktop 100% of the time, there is a smoother UX to launching workspaces:

• Directly from the dashboard
• Also via a CLI if they're using SSH primarily

Note: I don't think this is necessary for early iterations, though.

...then we can hopefully remove the decision point when opening a workspace where the user is given the option of which IDE on start (screenshot below).

[akosyakov]

We should extract VS Code Desktop to another issue.

[loujaybee]

Related: #6270 (comment)

And also: #6270 (comment)

And this internal issue

[loujaybee]

Given that JetBrains is now showing in the dashboard, I've extracted @akosyakov's point about the VSCode Desktop IDE's here: #6488 so I'll go ahead and close this issue for now.