Brought doc.lisp up to date with books/system/doc/acl2-doc.lisp.