correct paths for ddr and ddrfilter commands
ddrpubcopy command, for publishing collection binaries

This command copies the specified types of binaries from a
collection repo to a specified base directory.  The resulting
simple file paths will be correctly linked-to from ddr-public.