Integrate multiple terminals into JetBrains IDE's

[loujaybee]

Currently, JetBrains doesn't read the commands/tasks functionality of Gitpod.

This can be worked around by using gp tasks for now, but ideally this is a first-class feature in JetBrains.

There is an issue to resolve for JetBrains https://youtrack.jetbrains.com/issue/CWM-6093 but this is reported now as fixed.

[felladrin]

Part of this issue was addressed by https://github.com/gitpod-io/gitpod/pull/10595, but to close it, we still need to:

• Update the terminal title whenever there's a change on the title running under Supervisor.
  • https://github.com/gitpod-io/gitpod/issues/12142
• Close the IDE Terminal tab if Gitpod Terminal was closed remotely and emit a 'close' signal for Gitpod Terminal if the user clicks the "X" button to close the IDE Terminal.
  • https://github.com/gitpod-io/gitpod/issues/12126

[akosyakov]

@felladrin @loujaybee Let's create follow up issues for points from https://github.com/gitpod-io/gitpod/issues/10579#issuecomment-1167076927, add them to https://github.com/gitpod-io/gitpod/issues/7956 and close this issue?

[felladrin]

I've created https://github.com/gitpod-io/gitpod/issues/12142 and added it to the Epic. The other (https://github.com/gitpod-io/gitpod/issues/12126) was previously added by @loujaybee there. Closing this issue now.