Add metrics push gateway for supervisor

[iQQBot]

Description

This PR allow prometheus to scrape metrics from supervisor, and allow IDE push metrics to supervisor

need manual add this CRD to clusters, this is another part for https://github.com/gitpod-io/observability

apiVersion: monitoring.coreos.com/v1
kind: PodMonitor
metadata:
  name: workspace
spec:
  selector:
    matchLabels:
      component: workspace
  podMetricsEndpoints:
  - port: supervisor

Related Issue(s)

Fixes #9515

How to test

1. start a workspace with latest vscode
2. try type something in order to active code suggestion
3. look at prometheus

Release Notes

Adding metrics reporting to the IDE

Documentation

• /werft no-preview

[iQQBot]

/hold
need delete DEBUG commit

[sagor999]

workspace portion LGTM

[akosyakov]

@iQQBot Should there be changes in ws-proxy which prohibit access to metrics endpoint by anyone else but prometheus?

[iQQBot]

@iQQBot Should there be changes in ws-proxy which prohibit access to metrics endpoint by anyone else but prometheus?

No, We don't access from the ws-proxy, and besides, the supervisor endpoint can't be set to public, so there's no real point in preventing users from accessing it themselves; they can always access localhost:22999 from within the workspace

[akosyakov]

lgtm

[iQQBot]

/unhold