STM: when finish a task hcons universe constraints
STM: fix Show Script
Move error and job display to the lower right pane.
Fixing pervasives equalities in Vconv.
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.
Lazily computed hash in KerName.t.
Canary testing absence of generic equality for KerNames
Do not remember KerName hashes.
Custom canary