Add docker proxy settings

If proxy is defined on the server, docker pull will fail.