Update submodules

Author: liyishuai

.circleci/config.yml

@@ -118,7 +118,7 @@ jobs:
     - startup
     - deploy
     docker:
-    - image: ysli/coq
+    - image: coqorg/coq
 
 workflows:
   version: 2

.gitmodules

@@ -1,6 +1,6 @@
 [submodule "coqdocjs"]
 	path = coqdocjs
-	url = https://github.com/tebbi/coqdocjs.git
+	url = https://github.com/coq-community/coqdocjs.git
 [submodule "templates"]
 	path = templates
 	url = https://github.com/coq-ext-lib/templates.git

README.md

@@ -18,6 +18,7 @@
 [gitter-link]: https://gitter.im/coq-community/Lobby
 
 
+
 A collection of theories and plugins that may be useful in other Coq developments.
 
 ## Meta
@@ -29,7 +30,7 @@ A collection of theories and plugins that may be useful in other Coq development
   - Yishuai Li ([**@liyishuai**](https://github.com/liyishuai))
 - License: [The FreeBSD Copyright](LICENSE)
 - Compatible Coq versions: Coq 8.8 or later
-- Additional Coq dependencies: none
+- Additional dependencies: none
 - Coq namespace: `ExtLib`
 - Related publication(s): none