Add support for coqdep flags.#11094

ejgallego merged 2 commits intoocaml:mainocaml/dune:mainfrom

rlepigre:coqdep-flagsrlepigre/dune:coqdep-flagsCopy head branch name to clipboard