In projects/milawa/ACL2/rewrite/traces/trace-arities.lisp, changed
::in-theory to :in-theory (twice) since GCL gets confused by this
unusual use of "::".

Conditionalized with #+ccl two functions in
projects/milawa/ACL2/interface/profile-raw.lsp that used "ccl::"
package prefixes.

Updated system/doc/acl2-doc.lisp for acl2-devel changes.

Avoided the last form in centaur/gl/solutions.lisp for GCL, because of
GCL performance on this problem (will email the primary GCL
developer).


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