File copy UI: add an option to replace the files only if they differ (avoid overwriting files on a media with slow write speed)

[VioletGiraffe]

• [ ] Straightforward implementation (based on CRC or other hash)
• [ ] Fast implementation (only files with different sizes considered different)