Add Coq packages submodules

.gitmodules

+[submodule "coqprime"]
+	path = coqprime
+	url = git@gl.mathhub.info:Coq/coqprime.git
+[submodule "mathcomp-bigenough"]
+	path = mathcomp-bigenough
+	url = git@gl.mathhub.info:Coq/mathcomp-bigenough.git
+[submodule "mathcomp-algebra"]
+	path = mathcomp-algebra
+	url = git@gl.mathhub.info:Coq/mathcomp-algebra.git
+[submodule "list-plus"]
+	path = list-plus
+	url = git@gl.mathhub.info:Coq/list-plus.git
+[submodule "iterable"]
+	path = iterable
+	url = git@gl.mathhub.info:Coq/iterable.git
+[submodule "io-list"]
+	path = io-list
+	url = git@gl.mathhub.info:Coq/io-list.git
+[submodule "io"]
+	path = io
+	url = git@gl.mathhub.info:Coq/io.git
+[submodule "interval"]
+	path = interval
+	url = git@gl.mathhub.info:Coq/interval.git
+[submodule "geometric-algebra"]
+	path = geometric-algebra
+	url = git@gl.mathhub.info:Coq/geometric-algebra.git
+[submodule "function-ninjas"]
+	path = function-ninjas
+	url = git@gl.mathhub.info:Coq/function-ninjas.git
+[submodule "functional-algebra"]
+	path = functional-algebra
+	url = git@gl.mathhub.info:Coq/functional-algebra.git
+[submodule "flocq"]
+	path = flocq
+	url = git@gl.mathhub.info:Coq/flocq.git
+[submodule "fcsl-pcm"]
+	path = fcsl-pcm
+	url = git@gl.mathhub.info:Coq/fcsl-pcm.git
+[submodule "ext-lib"]
+	path = ext-lib
+	url = git@gl.mathhub.info:Coq/ext-lib.git
+[submodule "error-handlers"]
+	path = error-handlers
+	url = git@gl.mathhub.info:Coq/error-handlers.git
+[submodule "equations"]
+	path = equations
+	url = git@gl.mathhub.info:Coq/equations.git
+[submodule "disel"]
+	path = disel
+	url = git@gl.mathhub.info:Coq/disel.git
+[submodule "cunit"]
+	path = cunit
+	url = git@gl.mathhub.info:Coq/cunit.git
+[submodule "coquelicot"]
+	path = coquelicot
+	url = git@gl.mathhub.info:Coq/coquelicot.git
+[submodule "charge-core"]
+	path = charge-core
+	url = git@gl.mathhub.info:Coq/charge-core.git
+[submodule "cfml"]
+	path = cfml
+	url = git@gl.mathhub.info:Coq/cfml.git
+[submodule "bignums"]
+	path = bignums
+	url = git@gl.mathhub.info:Coq/bignums.git
+[submodule "foundation"]
+	path = foundation
+	url = git@gl.mathhub.info:Coq/foundation.git

README.md

+Get list of Coq package repos at `gl.mathhub.info`
+(using [httpie](https://httpie.io)):
+```bash
+http -F gl.mathhub.info/api/v4/groups/108/projects?per_page=100 > coq_projects.json
+```
+
+Get list of SSH repo urls:
+```bash
+jq '.[] | .ssh_url_to_repo' coq_projects.json > coq_submodule_urls
+```
+
+Manually remove the following repos from `coq_submodule_urls`:
+- `color`: Too much non-Coq package data (~ 100GB)
+- `coq.8.9.0`: Main Coq repo
+- `documentation`: Not a Coq package
+- `foundation`: Source directory broken
+- `geocoq`: Empty repo
+- `math-classes`: Empty repo
+
+Create a submodule for each remaining entry in `coq_submodule_urls`:
+```bash
+xargs -n1 git submodule add < coq_submodule_urls
+```

bignums @ 967939cf

+Subproject commit 967939cf5e4a66757a477650c21087732766f585

cfml @ 86eab31a

+Subproject commit 86eab31afe03c7a3b6c006cb6127e1c19c632626

charge-core @ 5defdfd9

+Subproject commit 5defdfd93a620c7ddcec1c2dcda2605cb4d252dc

coqprime @ d9edb253

+Subproject commit d9edb253f2ae0d035400d337618603e386473ac5

coquelicot @ 985aaf91

+Subproject commit 985aaf91a6277185fd390254d004626334ad80e7

cunit @ b61dd6c9

+Subproject commit b61dd6c9e1e9e77ba3ee2e13d60f495eeaba6cb3

disel @ 864394e7

+Subproject commit 864394e7fd5ea8d4599a73e8e1bf920d9f77a7e2

equations @ 0e225a44

+Subproject commit 0e225a445bd65330335fe4dbf5cd8f5f87882faa

error-handlers @ 20340b81

+Subproject commit 20340b81c051db8ef8f656dc8b172d59c0134967

ext-lib @ 84651be9

+Subproject commit 84651be9c7452e8e3f31eddecf7573699bf738ca

fcsl-pcm @ e6b42dcb

+Subproject commit e6b42dcb835b0694ca8ba627d70fea15e8dc4a99

flocq @ d38b023f

+Subproject commit d38b023fc47a4d9fcf3ca62bc699e2f3dd59e58a

function-ninjas @ 9ff0daab

+Subproject commit 9ff0daabf06afffaa16ded3ad6b74a15b1ff3c75

functional-algebra @ 7e7b10c3

+Subproject commit 7e7b10c35dbd38f4f46986e3d5cdebd2ae02e6ca

geometric-algebra @ dd4f6670

+Subproject commit dd4f6670d86a53152f0efd01f301708fa5f345dd

interval @ 1670aac1

+Subproject commit 1670aac156b353c4b0eca6835cf402b36850c726

io @ ba6d39c0

+Subproject commit ba6d39c09a93eb24ead7d3d09229abc05e517f37

io-list @ 121288f2

+Subproject commit 121288f258de4ddd8dadf95854f08fff82ef8993