Parameterizing quicklisp install command so that it can read the value for a proxy from environment variable HTTP_PROXY_WITH_PORT
Documenting how to use a proxy with our build system