Adding documentation topic for defpointer
Moving defpointer topic into xdoc/top.lisp
Adding alias of 'stv' for topic 'symbolic-test-vector'
Merge pull request #230 from ragerdl/master

Merging from ragedl/acl2