Merge pull request #19062 from timvandermeij/gitpod

Remove obsolete Gitpod files

.gitpod.Dockerfile

@@ -1,7 +0,0 @@
-FROM gitpod/workspace-full-vnc
-
-USER gitpod
-
-RUN sudo apt-get update && \
-    sudo apt-get install -yq firefox && \
-    sudo rm -rf /var/lib/apt/lists/*

.gitpod.yml

@@ -1,13 +0,0 @@
-image:
-  file: .gitpod.Dockerfile
-tasks:
-  - command: |
-      gp await-port 8888 && gp preview $(gp url 8888)/web/viewer.html && echo '[{"name": "Firefox","path": "/usr/bin/firefox"}]' | jq '.' > test/resources/browser_manifests/browser_manifest.json
-
-  - init: npm install -g gulp-cli && npm install
-    command: gulp server
-ports:
-  - port: 8888
-    onOpen: ignore
-  - port: 6080
-    onOpen: ignore