[UX] Make `ide` optional for `dev-environment`

[peterschmidt85]

Currently, we support only vscode, and the property is still required. It will be easier to use if the property is optional.

[jvstme]

@peterschmidt85, if ide is omitted, should dstack still install the VSCode server in the dev environment or should it install no IDE components at all?

I personally prefer the later. I often use dev environments only for shell access, so skipping VSCode server installation will improve the dev environment startup time for me. Additionally, installing VSCode server by default may become counterintuitive once we support other IDEs.

[github-actions]

This issue is stale because it has been open for 30 days with no activity.

[github-actions]

This issue is stale because it has been open for 30 days with no activity.

[github-actions]

This issue was closed because it has been inactive for 14 days since being marked as stale. Please reopen the issue if it is still relevant.