Add overlay

Author: proux01

dev/ci/user-overlays/15802-proux01-deprecate_backinstance.sh

@@ -0,0 +1,4 @@
+overlay analysis https://github.com/proux01/analysis coq_15802 15802
+overlay hott https://github.com/proux01/HoTT coq_15802 15802
+overlay fiat_parsers https://github.com/proux01/fiat coq_15802 15802
+overlay category_theory https://github.com/proux01/category-theory coq_15802 15802