Epic: As a Self Hosted User, I would like to be able to force our devs to use the IDE that I specify

[AndyDevman]

Background

Currently, when a user first accesses a workspace in Gitpod, they are prompted to chose an IDE to use.
The option to select which IDE to use is also subsequently available to users within the Gitpod UI under preferences.

Desired Behaviour

For self hosted Gitpod users, I'd like to be able to switch off the prompt to choose an IDE and also remove the preferences option for users. Ultimately I would like to be able to force users to use the IDE that I specify.

Proposal

Implement a configuration option to enable this within the config.go, so that self hosted users can have the option to disable IDE choice for their users and force them to use the IDE which has been administratively configured.

[corneliusludmann]

Related / duplicate of #6731

[loujaybee]

Related feedback from the community

We're considering the idea of limiting the list of available IDEs to users to just be VSCode, this is due to external limitations on our end with the others. Is this at all possible in the installer config? Whether that be to disable its use upon workspace startup or remove the others from the list entirely in their preferences.