Enable doctest running for several other documents.
We have now over 640 doctests that are run with "make doctest".
20 files changed