Fix dpdgraph

The stack overflow was caused by the self-referential nature of primitive projections.  Rather than filter this out in Coq-land, we simply ignore requests to add self-edges in dot-land.

Note: This bumps the coq submodule.