Ported `ajv rename` forward.

There are still some loose ends to hammer down with regard to how git handles
renames and modifications of the same module (and in what order).