support copy_file_range(2)

[acln0]

Besides splice(2) and tee(2), Linux also offers copy_file_range(2), opening the door for potential file-to-file copying optimizations, at the file system level. Perhaps we should look into supporting this. It doesn't look very difficult, at first sight.