Proxy support for documentation container
The container defined under documentation/ works only with direct Internet access. Changes in this request add support to use direct proxies using the environment variable of the shell that launches the container.