Name of the docker vm is configurable

[onejli]

Looks good to me. I'm probably going to refactor this a bit in the next few weeks, so this might turn into a command line arg instead.