rename

Just like std.file.rename, but optionally takes Path, and obeys scriptlikeEcho and scriptlikeDryRun.

Meta