Remove doctest dependency

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