Rename Coq module from diris into cgraphs

[robbertkrebbers]

The name diris was still there for legacy purposes, it should be consistent with the name of the repo.

[robbertkrebbers]

This is very minor, so let's do this after the artifact evaluation to avoid confusion with different project names.