[dune] Teach coq_dune about `.glob` and `.aux` files.
[dune] Teach coq_dune about `.glob` and `.aux` files.

This is a required step in order to be able to call `coqdoc` an
generate the documentation of the stdlib, and also useful for other
uses such as the asynchronous engine.

ppedrot/coq,SkySkimmer/coq,JasonGross/coq,Zimmi48/coq,Matafou/coq,gares/coq,ejgallego/coq,maximedenes/coq,maximedenes/coq,coq/coq,maximedenes/coq,maximedenes/coq,silene/coq,JasonGross/coq,silene/coq,ppedrot/coq,SkySkimmer/coq,ejgallego/coq,SkySkimmer/coq,ejgallego/coq,silene/coq,coq/coq,ppedrot/coq,ppedrot/coq,JasonGross/coq,coq/coq,gares/coq,coq/coq,JasonGross/coq,gares/coq,Zimmi48/coq,maximedenes/coq,Matafou/coq,Matafou/coq,SkySkimmer/coq,Zimmi48/coq,gares/coq,ppedrot/coq,Zimmi48/coq,ejgallego/coq,gares/coq