Speed up time$ by about 40x on CCL, in cases where it doesn't print anything. (with Sol)

git-svn-id: http://acl2-devel.googlecode.com/svn/branches/centaur@1117 5d84a466-a78b-0930-a311-59b22171a541
merge trunk rev 1116

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