`ALTER INDEX ... RENAME TO` support

[zachmu]

Required by Django migrations.

ALTER INDEX i RENAME TO j;