Rename SAGE_ROOT/build to SAGE_ROOT/sage-distro, SAGE_ROOT/src to SAGE_ROOT/sagelib

[mkoeppe]

I propose to rename build to sage-distro and src to sagelib (cf. #21507). This is to clarify the purpose of these directories.

Too many things are called src and build, even more with #21469 (VPATH), it's getting confusing.

I'm hoping git is smart enough to handle such renames when we merge tickets, but I am not sure.

CC: @vbraun @jdemeyer @tscrim @slel

Component: build

Reviewer: Samuel Lelièvre

Issue created by migration from https://trac.sagemath.org/ticket/23747

[mkoeppe]

Dependencies: #31577

[mkoeppe]

comment:1

Superseded by #31577

[slel]

comment:2

Let us close this now that #31577 is in.

[slel]

Changed dependencies from #31577 to none

[slel]

Reviewer: Samuel Lelièvre