Move BAut, Cantor, and BAut(Cantor) to Spaces/
Merge branch 'condconst' into baut-new
path-spaces of truncations (Theorem 7.3.12)
Merge branch 'path-trunc' into baut-new
split off Basics/Decidable.v, with a few new lemmas in it
Merge branch 'decidable' into baut-new
everything about BAut