Add coq, coqide, and proofgeneral

6.820 requested these packages, per (Trac: #1395)
Recommend proofgeneral-coq and cleanup Depends

Split the dependencies added in 5a14fba to one package per line.
Add a recommendation on proofgeneral-coq, which is in Precise,
but not wheezy.