rename

Just like std.file.rename, but takes Path, and echoes if scriptlikeTraceCommands is true.

Meta