Add coq, coqide, and proofgeneral

6.820 requested these packages, per (Trac: #1395)