Add ability to delete a workspace from VSCode and `gp`

[spearki]

Is your feature request related to a problem? Please describe

Currently I can stop a workspace using a VSCode command or the gp command, but I need to visit the dashboard to actually delete the workspace.

Describe the behaviour you'd like

In the spirit of ephemeral workspaces, I'll like to be able to delete a workspace from either the command line (via gp) or the command palette (via VSCode) once I've created a PR.

Describe alternatives you've considered

I can go to the dashboard and delete the workspace, but that is less convenient, and I also have to be careful that I'm deleting the correct one if I have a few around.

[geropl]

@akosyakov Added team IDE as having an action "Delete Workspace" is more IDE territory I feel.

[bitsnaps]

I think it could also be better to add a Delete button right after stopping the workspace, instead of going to the Dashboard then delete it from there.

[akosyakov]

@geropl @gtsiolis It was also my thought that the stopping/stopped screen should have the delete button.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.