Update dev image in CI#20682

aledbf wants to merge 12 commits intomaingitpod-io/gitpod:mainfrom

aledbf/dev-env-updategitpod-io/gitpod:aledbf/dev-env-updateCopy head branch name to clipboard