batch-oggencode.rb: add a --copy option to copy files, stripping target file names of unsafe characters
batch-oggencode.rb: --nostrip-filename-option
batch-oggencode.rb: improvements to --copy and diagnostics