Backup of the Coq benchs of coq-bench.