build: Add coq.scm to the distribution.