Made a few trivial :doc fixes, and brought doc.lisp up to date with books/system/doc/acl2-doc.lisp.