Update INSTALL docs for quicklisp and test instructions