coq: move from extra (#323)

- Use %COQBIN% instead of adding bin to the path
- Extract instead of running the installer
- Update description
- Add shortcut

bucket/coq.json

@@ -0,0 +1,44 @@
+{
+    "homepage": "https://coq.inria.fr/",
+    "description": "A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.",
+    "version": "8.9.1",
+    "license": "LGPL-2.1-only",
+    "architecture": {
+        "64bit": {
+            "url": "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1-installer-windows-x86_64.exe#/dl.7z",
+            "hash": "d388223276b4624e6ff16c8e1b620cf36b0817edd32dcebdd48d41898811e469"
+        },
+        "32bit": {
+            "url": "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1-installer-windows-i686.exe#/dl.7z",
+            "hash": "6aab12fce6d919a474d4f46a909d5ea1399b8e20c2fd38173d0dd2b3ed87860f"
+        }
+    },
+    "bin": [
+        "bin\\coqtop.exe",
+        "bin\\coqc.exe",
+        "bin\\coqchk.exe"
+    ],
+    "env_set": {
+        "COQBIN": "bin"
+    },
+    "shortcuts": [
+        [
+            "bin\\coqide.exe",
+            "CoqIDE"
+        ]
+    ],
+    "post_install": "Remove-Item \"$dir\\`$PLUGINSDIR\", \"$dir\\Uninstall.exe.nsis\" -Recurse -Force",
+    "checkver": {
+        "github": "https://github.com/coq/coq"
+    },
+    "autoupdate": {
+        "architecture": {
+            "64bit": {
+                "url": "https://github.com/coq/coq/releases/download/V$version/coq-$version-installer-windows-x86_64.exe#/dl.7z"
+            },
+            "32bit": {
+                "url": "https://github.com/coq/coq/releases/download/V$version/coq-$version-installer-windows-i686.exe#/dl.7z"
+            }
+        }
+    }
+}