Add DanGrayson's coq-builder