Integrate doctest into the testsuite.