add proxy setting for quicklisp