Following conversations with Jared and J, updated documentation so
that the manuals are named as follows.

  "ACL2+Books Manual"  [combined manual for ACL2 plus the Community Books]

  "ACL2 User's Manual" [for the ACL2 system only]


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1265 5d84a466-a78b-0930-a311-59b22171a541