We should add a coqdoc_flags field to coq.theory allowing us to further configure coqdoc when it is called.