Proxy

Setup docker proxy that affects all builds, even when it is not specify in the Dockerfile, which may be confusing on the next build when proxy is not required.