OSLIB: add lisp-type and lisp-version functions

Deal with intern-debugging stuff (fixes issue 152)
 - Remove raw lisp intern-debugging code.
 - Rework intern-debugging to suggest upgrading old versions of CCL
 - Remove note about ACL2_SIZE from centaur README file

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2553 303c5b2c-9740-0410-b014-fd8f9db7be32
Documentation updates inspired by stobj-let/memoization bug fix (acl2-devel svn revision 1242) and suggestion by Jared for Issue 155

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2554 303c5b2c-9740-0410-b014-fd8f9db7be32
To avoid noise from "svn status -u", executed the usual command

  svn propset -R svn:ignore -F <path-to-books>/unversioned-files.txt .

in the following directories.

  centaur/vl/loader
  centaur/memoize
  centaur/nrev
  doc


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