Always build coqdoc for testing