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