Update Gitpod Dockerfile NOCHANGELOG

Merged Kasper Seweryn requested to merge wvffle/update-gitpod-dockerfile into develop

Merge request reports