Remove doctest dependency

(so that we can use haddock-library with doctest)