Updated bin/svnc and bin/svncf to do a minimal check that they
are being run from an ACL2 sources directory.

Quoting :doc note-7-0:

 (GCL only) Modified how home directory is calculated.  Thanks to Camm
 Maguire for help in making this change.

Updated doc.lisp to reflect books/system/doc/acl2-doc.lisp updates,
including documentation for FORMULA.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1377 5d84a466-a78b-0930-a311-59b22171a541
Made minor mod that probably is irrelevant but is clearly less subject to error.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1378 5d84a466-a78b-0930-a311-59b22171a541
Fixed a check done at build time that was preventing builds in SBCL 1.2.2 because of their new backquote implementation.  Thanks to Harsh Raju Chamarthi and Pete Manolios for bringing this issue to our attention.

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