add support for COPY to docker build

This adds a COPY command to docker build which works like ADD, but is only for local files and it doesn't extract files.

This is an alternative to changing the ADD magic in #6057 and is the start for fixing #3050.

Fixes #5935