Add dune support back#115

Alizter wants to merge 1 commit into

rocq-community:coq-masterrocq-community/coq-dpdgraph:coq-masterfrom

Alizter:ps/rr/revert__revert__merge_pull_request__89_from_coq_community_coq_master_dune__Alizter/coq-dpdgraph:ps/rr/revert__revert__merge_pull_request__89_from_coq_community_coq_master_dune__Copy head branch name to clipboard