Add gitpod.io config

[IDE]

Author: lemmy

.gitpod.yml

@@ -0,0 +1,7 @@
+tasks:
+  - init: sudo ln -s /workspace /workspaces && sdk install ant && bash -i .devcontainer/install.sh
+
+vscode:
+  extensions:
+    - alygin.vscode-tlaplus-nightly
+    - vscjava.vscode-java-pack

.vscode/settings.json

@@ -3,7 +3,6 @@
     "tlaplus.smoke.prefix.name": "Smoke",
     "tlaplus.tlc.modelChecker.options": "-deadlock -noTE",
     "tlaplus.java.options": "-XX:+UseParallelGC -agentlib:jdwp=transport=dt_socket,server=y,suspend=n,address=0 -DTLA-Library=/workspaces/CommunityModules/.smoke/:/workspaces/CommunityModules/modules/:/workspaces/CommunityModules/tests -Dtlc2.overrides.TLCOverrides=tlc2.overrides.TLCOverrides -cp /workspaces/CommunityModules/tlc/tla2tools.jar:/workspaces/CommunityModules/build/modules:/workspaces/CommunityModules/build/deps",
-    "tlaplus.java.home": "/home/codespace/.java/current/",
     "[tlaplus]": {"editor.codeActionsOnSave": {"source": true} },
     "breadcrumbs.enabled": false,
     "editor.minimap.enabled": false,