Add a command-line option for verbatim files.

Files can be specified with --verbatim_files=system/a,system/b,...
Those file-paths listed there will be excluded from the patching
mechanism - instead they will simply be written to the device
(without checking the state of the existing file there) - just
like it happens for a "new" file.