[gitpod-cli] Add command 'gp ports list'

[felladrin]

Description

Adds command gp ports list to gitpod-cli, which prints the ports state.

Related Issue(s)

#9930

How to test

• Open the Gitpod repo on the Preview Environment of this PR: https://vn-gp-portbbf4ebbdcd.preview.gitpod-dev.com/#https://github.com/gitpod-io/gitpod
• Change the ports section from .gitpod.yml to the following:

ports:
  - port: 1337
    onOpen: open-preview
    description: Et omnis id unde veniam.
  - port: 3000
    onOpen: ignore
    description: Alias reiciendis est quidem. Saepe in aut est illum ex. Eius molestias et vero rem.
  - port: 3001
    onOpen: ignore
  - port: 3306
    onOpen: ignore
  - port: 4000
    onOpen: ignore
  - name: VNC
    port: 5900
    onOpen: ignore
    description: Qui quia porro officia.
  - name: noVNC
    port: 6080
    onOpen: ignore
  - name: Werft
    port: 7777
    onOpen: ignore
  - port: 9229
    onOpen: ignore
  - name: Go proxy
    port: 9999
    onOpen: ignore
  - port: 13001
    onOpen: ignore
    description: Ut explicabo et qui. Velit tempore porro impedit.
  - name: Dev Theia
    port: 13444

• Run gp ports list and confirm if the command outputs something like this:
  

Release Notes

Gitpod CLI has a new command to list the ports from the workspace: gp ports list

Documentation

None.

[mustard-mh]

Tested, code LGTM

/hold

in case you want to change something, feel free to unhold it

[felladrin]

Leaving screenshots here for reference of how it looks like in light and dark themes:

/unhold