run docker behind proxy

A proxy is required when the server running Docker does not have direct access to the Internet. The Docker daemon uses the HTTP_PROXY, HTTPS_PROXY, and NO_PROXY environmental variables in its…