refactor: remove old Gitpod configuration (#49)

.gitignore

@@ -13,3 +13,6 @@
 
 # conda env
 .warlock/
+
+# core demon model
+resources/demon_model

.gitpod.yml

@@ -23,20 +23,3 @@ tasks:
       g++ resources/demon_model/src/demon.cpp -o resources/demon_model/bin/demon -I.warlock/include -lm
       echo "Ready to work!"
       echo "Remember to switch to a feature branch before starting the development :)"
-
-github:
-  prebuilds:
-    # enable for the default branch
-    master: true
-    # enable for all branches in this repo
-    branches: false
-    # enable for pull requests coming from this repo
-    pullRequests: true
-    # enable for pull requests coming from forks
-    pullRequestsFromForks: false
-    # add a check to pull requests
-    addCheck: prevent-merge-on-error
-    # add a "Review in Gitpod" button as a comment to pull requests
-    addComment: false
-    # add a "Review in Gitpod" button to the pull request's description
-    addBadge: true