Fix "docker --name" command line option.

Option "-name" to docker is obsolete.

Signed-off-by: Gianpaolo Macario <gmacario@gmail.com>