Recognize doctest options defined in other plugins.
Merge pull request #798 from dplepage/master

Recognize doctest options defined in other plugins.