rename

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

Meta