Gitpod configuration file

This allows the repository to be run online at https://gitpod.io/#https://github.com/teorth/pfr

.gitpod.yml

@@ -0,0 +1,10 @@
+# This is run when starting a Gitpod workspace on this repository
+
+image: leanprovercommunity/mathlib:gitpod
+
+vscode:
+  extensions:
+    - leanprover.lean4 # install the Lean 4 VS Code extension
+
+tasks:
+  - command: . /home/gitpod/.profile && lake exe cache get # Download cache