A straightforward launcher script for docker.