[port] Bump Coq to 8.15.1.

CHANGES.md

+# jsCoq 0.15.0 "Go For Your Toad, or Similar"
+------------------------------
+
+ - Update to Coq 8.15.1 (@corwin-of-amber)
+
 # jsCoq 0.15.0 "Steady State"
 ------------------------------
 

Makefile

@@ -223,7 +223,7 @@ all-dist: dist dist-release dist-upload
 
 .PHONY: coq coq-get coq-get-latest coq-build
 
-COQ_BRANCH = V8.15.0
+COQ_BRANCH = V8.15.1
 COQ_BRANCH_LATEST = v8.15
 COQ_REPOS = https://github.com/coq/coq.git
 

package.json

 {
   "name": "jscoq",
-  "version": "0.15.0",
+  "version": "0.15.1",
   "description": "A port of Coq to JavaScript -- run Coq in your browser",
   "bin": {
     "jscoq": "./dist/cli.js",

package.json.wacoq

 {
   "name": "wacoq",
-  "version": "0.15.0",
+  "version": "0.15.1",
   "description": "A port of Coq to WebAssembly -- run Coq in your browser",
   "bin": {
     "wacoqdoc": "ui-js/jscoqdoc.js"
@@ -25,7 +25,7 @@
     "path": "^0.12.7",
     "vue": "^2.6.12",
     "vue-context-menu": "^2.0.6",
-    "wacoq-bin": "0.15.0"
+    "wacoq-bin": "0.15.1"
   },
   "devDependencies": {
     "@types/find": "^0.2.1",