[Cleanup] Rename toplevel directories

.gitignore

@@ -43,5 +43,5 @@ farith/
 # mac artifacts
 
 .DS_Store
-/src_common/why3.conf
+/common/why3.conf
 /_opam/

.gitlab-ci.yml

@@ -64,7 +64,7 @@ generate-static:
   - if [ ! -d _opam ]; then echo "no local switch in the CI cache, we setup a new switch"; opam-2.1 switch create --yes --no-install . $OCAML_COMPILER; fi
   - eval `opam-2.1 config env`
   - opam-2.1 remote add uptodate https://opam.ocaml.org/
-  - sed -e "s/; FOR STATIC//" -i src_colibri2/bin/dune
+  - sed -e "s/; FOR STATIC//" -i colibri2/bin/dune
   - git config --global --add safe.directory /builds/pub/colibrics
   - opam-2.1 install . --deps-only --with-test --with-doc --yes --depext-only
   - opam-2.1 install . --deps-only --with-test --with-doc --yes

Makefile

@@ -20,7 +20,7 @@
 
 all:
 	dune build --root=$$(pwd) @install colibri2.opam colibrics.opam colibrilib.opam \
-	src_colibri2/bin/colibri2_stage0.exe
+	colibri2/bin/colibri2_stage0.exe
 
 test:
 	dune runtest --root=$$(pwd)
@@ -81,7 +81,7 @@ uninstall:
 # file headers
 ###############
 
-WHY3_FILES = $(addprefix src_colibri2/popop_lib/, cmdline.ml cmdline.mli	\
+WHY3_FILES = $(addprefix colibri2/popop_lib/, cmdline.ml cmdline.mli	\
 	debug.ml debug.mli exn_printer.ml exn_printer.mli hashcons.ml		\
 	hashcons.mli lists.ml lists.mli loc.ml loc.mli number.ml number.mli	\
 	opt.ml opt.mli pp.ml pp.mli print_tree.ml print_tree.mli		\
@@ -89,26 +89,26 @@ WHY3_FILES = $(addprefix src_colibri2/popop_lib/, cmdline.ml cmdline.mli	\
 	sysutil.mli util.ml util.mli warning.ml warning.mli weakhtbl.ml		\
 	weakhtbl.mli )
 
-OCAML_FILES = $(addprefix src_colibri2/popop_lib/, map_intf.ml exthtbl.ml	\
+OCAML_FILES = $(addprefix colibri2/popop_lib/, map_intf.ml exthtbl.ml	\
 	exthtbl.mli extmap.ml extmap.mli extset.ml extset.mli )
 
-FRAMAC_FILES = $(addprefix src_colibri2/popop_lib/, intmap.ml intmap_hetero.ml	\
+FRAMAC_FILES = $(addprefix colibri2/popop_lib/, intmap.ml intmap_hetero.ml	\
 	intmap.mli intmap_hetero.mli bag.ml bag.mli)
 
-JC_FILES = $(addprefix src_colibri2/popop_lib/, leftistheap.ml leftistheap.mli)
+JC_FILES = $(addprefix colibri2/popop_lib/, leftistheap.ml leftistheap.mli)
 
-WITAN_FILES = src_colibri2/stdlib/std.ml src_colibri2/stdlib/std.mli		\
-	src_colibri2/stdlib/hashtbl_hetero.ml					\
-	src_colibri2/stdlib/hashtbl_hetero.mli					\
-	src_colibri2/stdlib/hashtbl_hetero_sig.ml				\
-	src_colibri2/stdlib/map_hetero.ml src_colibri2/stdlib/map_hetero.mli	\
-	src_colibri2/stdlib/map_hetero_sig.ml src_colibri2/stdlib/keys.mli	\
-	src_colibri2/stdlib/keys_sig.ml src_colibri2/stdlib/comp_keys.ml	\
-	src_colibri2/stdlib/comp_keys.mli src_colibri2/bin/options.ml
+WITAN_FILES = colibri2/stdlib/std.ml colibri2/stdlib/std.mli		\
+	colibri2/stdlib/hashtbl_hetero.ml					\
+	colibri2/stdlib/hashtbl_hetero.mli					\
+	colibri2/stdlib/hashtbl_hetero_sig.ml				\
+	colibri2/stdlib/map_hetero.ml colibri2/stdlib/map_hetero.mli	\
+	colibri2/stdlib/map_hetero_sig.ml colibri2/stdlib/keys.mli	\
+	colibri2/stdlib/keys_sig.ml colibri2/stdlib/comp_keys.ml	\
+	colibri2/stdlib/comp_keys.mli colibri2/bin/options.ml
 
 COLIBRI2_FILES = Makefile  \
 	$(filter-out $(WHY3_FILES) $(OCAML_FILES) $(FRAMAC_FILES) $(JC_FILES) $(WITAN_FILES) \
-	, $(wildcard src_colibri2/*/*/*.ml* src_colibri2/*/*.ml* src_colibri2/*.ml*))
+	, $(wildcard colibri2/*/*/*.ml* colibri2/*/*.ml* colibri2/*.ml*))
 
 COLIBRICS_FILES =