Property aware users that they can choose IDEs with onboarding dashboard

[mustard-mh]

Property aware users that they can choose IDEs with onboarding dashboard

Further opinion: Display recommended template project after they choose some IDE in this page (i.e Goland => template-golang-cli)

It's a IDE feature in our workshop

See draft Figma

Before	After (onboarding)	After 2(after onboarding)

[mustard-mh]

As a part of #6707

[mustard-mh]

We may need to discuss the UX and text content about IDE select (see Description Image After (onboarding))

cc @gtsiolis @loujaybee

[svenefftinge]

Wouldn't it be good to ask users what IDE they want to use per project? I'm thinking of asking them in the startup flow, before starting the workspace with an option to "never ask again for project xxx/yyy" which is enabled by default.
Then in the settings, we could provide means to manage this as well, in case you want to be asked again later.

[mustard-mh]

@svenefftinge If you want to choose different IDEs per repo, this PR may be helpful gitpod-io/browser-extension#59.

For projects, maybe we can provide a context menu with IDE list