Tweaked documentation (thanks to Yan Peng and Warren Hunt for feedback on :doc for verbose-pstack and theory, respectively).

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