hadrian: Don't attempt to install documentation if doc/ doesn't exist

Previously we would attempt to install documentation even if the doc directory doesn't exist (e.g. due to --docs=none). This would result in the surprising side-effect of the entire contents of the bindist being installed in the destination documentation directory. Fix this.

Fixes #21976 (closed).