Quiet ds-docs-switched

The ds-docs-switched genrule was producing 18947 lines of output,
including a single line with 266986 bytes.  Quiet all the tools
used in the genrule.

Test: m ds-docs-switched
Change-Id: I5549c34f6310469e7791b56190d5b7c1f386a5f7