Make etags.sh executable
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
VL (with Jared): add scopestack abstraction for looking up various kinds of things, and use that in various transforms
Merge branch 'master' into scopestack
vl -- porting more transforms to use scopestacks
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