Document/test docker setup when behind proxy/firewall

Many institutions have firewall that blocks outgoing HTTP connections except through a proxy. Docker needs to be configured for this, but so would the (apps within the) docker containers.

E.g. is it enough to add:

```
environment:
    - HTTP_PROXY
```

?
