Docker adjustments

This release adds two Docker-related features:
-- the local executor will check for an image locally before pulling; this avoids running against DockerHub rate limits
-- a task's Docker image may now be overridden in the task configuration