This commit is all about allowing remote worker containers in
the Docker deployment scenario: worker containers running on
hosts other than the host of the web UI container.
First we ditch the /var/lib/openqa/pool volume from the web UI
container. There is actually no need ever to share this between
workers, because each worker is already isolated within its own
container and can happily have its own pool directory in there.
Effectively, even when all the worker instances are run on the
same Docker host, they're still all separate systems so far as
the web UI / scheduler is concerned. Obviously it can't be
shared this way for workers on remote hosts, so just get rid of
it.
Other than that this is all documentation changes. Mostly just
explaining how to do remote workers, but I also changed the
web UI container instructions to bind ports 80 and 443 on the
host; the worker instances expect the host to be listening on
port 80, in the single-host-box scenario this was covered with
the use of --link but that doesn't work when the worker's on
a different host.
I also updated all the docker image tags to ':latest' - this
seemed sensible, but yell if it's wrong.
There is actually no need in using tag at all (if no tag is given, :latest is downloaded automatically), but it won't hurt either.