Run doctests as part of CI

[teutoburg]

Once we actually have examples in docstrings (see #70), we should run them as part of the CI, like elsewhere. Should be as simple as adding the correct section to the workflow.