python: add --with-docs option

This option will install HTML documentation.

Closes #30608.

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