Docker images and lazy download

Support docker images that reside on the platform.

Tasks that have an empty command section do not download files eagerly. For example, if a task only looks at size(file), it will not download the file at all.

task fileSize {
    File in_file

    command {}
    output {
        Float num_bytes = size(in_file)
    }
}