void CopyFile(str ExistingFile, str NewFile)
Copies ExistingFile to NewFile, preserving time stamp and file attributes. If NewFile already exists, it will be overwritten.