Allow passing additional Docker options in docker.sh in startup kits

[oleschwen]

Partners reported the need to change docker.sh to pass additional options (related to CPU) when starting docker. This is error-prone, we should implement a different mechanism to specify such options (e.g., as an additional command-line argument)