Add overlays

Author: proux01

dev/ci/user-overlays/19530-proux01-stdlib-repo.sh

@@ -0,0 +1,16 @@
+overlay compcert https://github.com/proux01/CompCert stdlib_repo 19530
+overlay elpi https://github.com/proux01/coq-elpi stdlib_repo 19530
+overlay coq_tools https://github.com/proux01/coq-tools stdlib_repo 19530
+overlay coqtail https://github.com/proux01/Coqtail stdlib_repo 19530
+overlay corn https://github.com/coq-community/corn stdlib_repo 19530
+overlay cross_crypto https://github.com/proux01/cross-crypto stdlib_repo 19530
+overlay equations https://github.com/proux01/Coq-Equations stdlib_repo 19530
+overlay fiat_crypto https://github.com/proux01/fiat-crypto stdlib_repo 19530
+overlay flocq https://github.com/proux01/flocq stdlib_repo 19530
+overlay json https://github.com/proux01/coq-json stdlib_repo 19530
+overlay kami https://github.com/proux01/kami stdlib_repo 19530
+overlay math_classes https://github.com/coq-community/math-classes stdlib_repo 19530
+overlay metacoq https://github.com/proux01/metacoq stdlib_repo 19530
+overlay quickchick https://github.com/proux01/QuickChick stdlib_repo 19530
+overlay rewriter https://github.com/proux01/rewriter stdlib_repo 19530
+overlay vst https://github.com/proux01/VST stdlib_repo 19530