Add haddock checks to CI

[Martoon-00]

Clarification and motivation

We should make sure that haddock is always valid, it is important for any library, and especially in this one.

Acceptance criteria

• CI makes sure that haddock is valid, e.g. all references are resolved. See Morley as an example of repository that has such CI.
• Doctest is run.