python3: add with-docs option

Closes #30929.
Closes #30947.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>