Simplified the instructions for installing quicklisp behind a proxy.  Thanks to Kaufmann for helping me prune these instructions.