Use DOCKER_TMPDIR=/var/lib/docker/tmp for large temp files (rebase/fix of 6456)

Closes #6456

Thanks @rhatdan

Ping @crosbymichael or @vieux.
This stray whitespace is a little funny. :)