Merge pull request #1 from ragerdl/master

Adding scripts for using Jenkins on a community build server.  These scripts will likely be different than the scripts Centaur uses (well, maybe Jared is willing to help me figure out why aliases for startjob don't work inside my jenkins, which would allow us to unify them).
Added .gitignore files, at top level and for books/.

These were taken from svn repo files
unversioned-files.txt
and
books/unversioned-files.txt
respectively.
trivial addition to gitignore
Trivial change to test emails
Parameterizing quicklisp install command so that it can read the value for a proxy from environment variable HTTP_PROXY_WITH_PORT
Documenting how to use a proxy with our build system
Using Matt's form for grabbing HTTP_PROXY_WITH_PORT and fixing a typo in the documentation
deftypes -- add a rule about foolist-fix under iff
Attempted merge