Use long options for docker calls

[kba]

docker run -u => docker run --user etc.

[bertsky]

Already true for the setup guide, but not the user guide. (I wonder if this is necessary though: one can always invoke docker run --help or man docker-run if unsure.)