mention --task_launch_timeout for Docker

Closes #698.