rename

Rename a file

Usage:
    ops -rename <source> <destination>

Last modified August 31, 2024: Merge all work done until now (#23) (3327e3a)