Add Gitpod to the repo

Adds Gitpod configuration to the repo

To make it easier to start contributing to the project.

Author: purkhusid

.gitpod.yml

@@ -0,0 +1,22 @@
+image:
+  file: .gitpod/Dockerfile
+
+tasks:
+  - name: Build
+    init: |
+      ./build.sh -t Build
+
+vscode:
+  extensions:
+    - Ionide.Ionide-fsharp
+    - muhammad-sammy.csharp
+
+github:
+  prebuilds:
+    master: true
+    branches: true
+    pullRequests: true
+    pullRequestsFromForks: true
+    addCheck: false
+    addComment: false
+    addBadge: false

.gitpod/Dockerfile

@@ -0,0 +1,20 @@
+FROM gitpod/workspace-full
+
+USER gitpod
+
+# Install .NET SDK (Current channel)
+# Source: https://docs.microsoft.com/dotnet/core/install/linux-scripted-manual#scripted-install
+RUN mkdir -p /home/gitpod/dotnet && curl -fsSL https://dot.net/v1/dotnet-install.sh | bash /dev/stdin --version 6.0.101 --install-dir /home/gitpod/dotnet
+ENV DOTNET_ROOT=/home/gitpod/dotnet
+ENV PATH=/home/gitpod/dotnet:$PATH
+
+# Remove this hack when the kernel bug is resolved.
+# ref. https://github.com/gitpod-io/gitpod/issues/8901
+RUN bash \
+    && { echo 'if [ ! -z $GITPOD_REPO_ROOT ]; then'; \
+        echo '\tCONTAINER_DIR=$(awk '\''{ print $6 }'\'' /proc/self/maps | grep ^\/run\/containerd | head -n 1 | cut -d '\''/'\'' -f 1-6)'; \
+        echo '\tif [ ! -z $CONTAINER_DIR ]; then'; \
+        echo '\t\t[[ ! -d $CONTAINER_DIR ]] && sudo mkdir -p $CONTAINER_DIR && sudo ln -s / $CONTAINER_DIR/rootfs'; \
+        echo '\tfi'; \
+        echo 'fi'; } >> /home/gitpod/.bashrc.d/110-dotnet
+RUN chmod +x /home/gitpod/.bashrc.d/110-dotnet