Update Docker tutorial with newer Docker.

Just tried it in a CoreOS, worked fine.

(This is about TRAC:2990)
We use 8010:8010 on the other port to have the same on host and docker image ...