git mv after the fact

Hi,

I'd like to propose a new flag for git mv, that updates the index like git mv normally would but does not move the file. This would come in handy when the file has already been moved, or is renamed by some external tool and the user wants to fix up the index afterwards.

Thank you for considering this.

Sincerely, Frieder Hannenheim