Adding a CSet module in Coq lib.
Correct handling of hashconsing of constraint sets. The previous implementation
did not respect the requirement that equality should preserve hash.