mention --task_launch_timeout for Docker 

Closes #698.