A collection of Coq utilities