clisp, quicklisp, and cl-quickcheck