We prefer to have versions for use in opam that do not depend on autoconf
This is the only difference between this version and version tagged coq-dpdgraph-0.6.2
Normally, I would not produce the previous tagged version, but there was a mishap this time.