added our own wrapdocker script, so that it starts docker and exits.