move

Moves (renames) a file from source to destination.

Example:

    var src = new Path ("/tmp/old.txt");
    var dst = new Path ("/tmp/new.txt");
    bool ok = Files.move (src, dst);

Parameters:

src	source file path.
dst	destination file path.

Returns:

true if move succeeded, false otherwise.