[ws-proxy] introduce RED metrics, including a http_version label#20196

roboquat merged 7 commits intomaingitpod-io/gitpod:mainfrom

kylos101/ENT-673gitpod-io/gitpod:kylos101/ENT-673Copy head branch name to clipboard