[port] Bump the Coq tag to 8.14.1.

CHANGES.md

+# jsCoq 0.14.1 "Leap of Faith"
+------------------------------
+
+ - Update to Coq 8.14.1 (@corwin-of-amber)
+
 # jsCoq 0.14.0 "Ahead of time"
 ------------------------------
 

Makefile

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

README.md

@@ -7,7 +7,7 @@ jsCoq is an Online Integrated Development Environment for the
 [Coq](https://coq.inria.fr) proof assistant and runs in your browser!
 We aim to enable new UI/interaction possibilities and to improve the
 accessibility of the Coq platform itself. Current stable version is
-jsCoq 0.14.0 supporting Coq 8.14.0, try it:
+jsCoq 0.14.1 supporting Coq 8.14.1, try it:
 
 <https://jscoq.github.io>