remove quicklisp repo; should download when needed