Improved an error message for certify-book (thanks to feedback from David Rager).  Removed obsolete file p.lisp.