Make doctests run automatically