Add COQBIN to configure.ac#128

Villetaneuse wants to merge 1 commit intorocq-community:coq-masterrocq-community/coq-dpdgraph:coq-masterfrom

Villetaneuse:add_COQBIN_to_confVilletaneuse/coq-dpdgraph:add_COQBIN_to_confCopy head branch name to clipboard