Improve cert.pl support for provisional certification in the presence
of other, non-provisionally-certified files.  In books/GNUMakefile,
remove the special cases for the two directories that use it.
Move a set-inhibit-warnings form from the top of doc.lisp into doc.acl2, allowing it to certify faster by skipping most of the second pass.