Commit Coq files instead of compiled code.