A tool to bench the OPAM repository for Coq.