Add overlays

Author: proux01

dev/ci/user-overlays/21849-proux01-warnerror-argument-scope-delimiter.sh

@@ -0,0 +1,7 @@
+overlay rewriter https://github.com/proux01/rewriter rocq21849 21849
+overlay bedrock2 https://github.com/proux01/bedrock2 rocq21849 21849
+overlay category_theory https://github.com/proux01/category-theory rocq21849 21849
+overlay cross_crypto https://github.com/proux01/cross-crypto rocq21849 21849
+overlay fiat_crypto_legacy https://github.com/proux01/fiat-crypto rocq21849-legacy 21849
+overlay neural_net_interp https://github.com/proux01/neural-net-coq-interp rocq21849-legacy 21849
+overlay fiat_crypto https://github.com/proux01/fiat-crypto rocq21849 21849