copy

Copies a file from source to destination.

Example:

    var src = new Path ("/tmp/source.txt");
    var dst = new Path ("/tmp/dest.txt");
    bool ok = Files.copy (src, dst);

Parameters:

src	source file path.
dst	destination file path.

Returns:

true if copy succeeded, false otherwise.