Adding documentation topic for defpointer
Moving defpointer topic into xdoc/top.lisp
Adding alias of 'stv' for topic 'symbolic-test-vector'
trivial theory change to speed up some deftypes
Merge pull request #230 from ragerdl/master

Merging from ragedl/acl2
Generating HTML version of the manual without a redirect
Modifying the build scripts to accept a 'target' argument.
Making a jenkins build script executable
Moved old-style jenkins scripts into deprecated directory.  Fixed up the multi script so it doesn't build with quicklisp when using gcl.
Adding target option to build-multi.sh
Merge pull request #231 from ragerdl/master

Getting rid of xdoc html manual redirect; improving some jenkins build scripts
Making Jenkins build scripts use startjob.  Also committing example startjob file.
Merge pull request #232 from ragerdl/master

Making Jenkins build scripts use startjob.  Also committing example star...
Patch that I don't intend to push
Merge pull request #233 from ragerdl/test

Renaming a books/build/jenkins/README so it is formatted by github
Improving jenkins scripts readme
Getting rid of description meta tag for xdoc HTML pages.
Fixed a bug in oracle-apply-raw.
Making it easier to fine the variables available to trace-dollar
Merge pull request #234 from ragerdl/master

Some changes from the weekend