Add --docker-args option to the launcher script