docs: nest doc-gen4 in a docbuild/ sub-project (mathlib pattern)#2

gotrevor merged 2 commits into

mastergotrevor/Foundation:masterfrom

docbuild-rewiregotrevor/Foundation:docbuild-rewireCopy head branch name to clipboard