Fix the stackoverflow in dot

It 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.