WIP Proviola
Always build coqdoc for testing