add vscoq language server

Author: gares

linux/snap/snapcraft.yaml.in

@@ -93,6 +93,10 @@ apps:
     plugs: [home,network-bind]
     command-chain: [ coq-platform/bin/coq_wrapper ]
     command: coq-platform/bin/coqidetop.opt
+  vscoqtop:
+    plugs: [home,network-bind]
+    command-chain: [ coq-platform/bin/coq_wrapper ]
+    command: coq-platform/bin/vscoqtop
   coqdep:
     plugs: [home]
     command-chain: [ coq-platform/bin/coq_wrapper ]

package_picks/package-pick-dev.sh

@@ -186,4 +186,8 @@ then
   # Bedrock2, fiat crypto, ...
   PACKAGES="${PACKAGES} coq-coqutil.dev"
   # PACKAGES="${PACKAGES} coq-bedrock2.dev"                   # Error: "sed: illegal option -- z"
+
+  # VSCoq
+  PACKAGES="${PACKAGES} vscoq-language-server.dev"
+
 fi