Also run doctests in run_tests.sh