Build: rpm: deprecate --with-doc/--without-doc rpmbuild option

... by removing it from help.

Since we switched to Sphinx, the documentation build tools are widely
available, and there's no reason not to always build it.