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.