Restrict some books to ccl-only since they use tshell

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2453 303c5b2c-9740-0410-b014-fd8f9db7be32
Added true demo at the front.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2454 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a typo and forcing rebuilds across america :)

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