notes for quicklisp install, and pcond install