* nongnu/packages/coq.scm: Add copyright for Isaac Young. * nongnu/packages/linux.scm: Add copyright year for me.