Tweaked books for the following change, as described in :doc note-6-5,
and also updated :doc topics for defstobj, defabsstobj, and
nested-stobjs accordingly.

  A [defstobj] event may now include the keyword argument
  :non-memoizable. When its value if t, then for ACL2(h) builds (see
  [hons-and-memoization]), code will run somewhat faster. In a little
  test doing just reads and writes to a stobj array in ACL2(h), it
  took 26% less time when the stobj to be written was introduced by
  [defstobj] using :non-memoizable t. Thanks to Warren Hunt for
  requesting this feature and helping to develop the test.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2556 303c5b2c-9740-0410-b014-fd8f9db7be32
Minor :doc fix

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2557 303c5b2c-9740-0410-b014-fd8f9db7be32
reorder include-books to take advantage of new optimization; some tweaks to equal-by-logbitp, defines, fixtype books

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2558 303c5b2c-9740-0410-b014-fd8f9db7be32