[build] Fix missing deps in dune rule for All.v file#201

ejgallego wants to merge 2 commits intorocq-prover:masterrocq-prover/stdlib:masterfrom

ejgallego:fix_all_ruleejgallego/rocq-stdlib:fix_all_ruleCopy head branch name to clipboard