Disable doctests for all libraries

We don't use them, and they add a lot of noise to the test output
when running all tests in the workspace.