Change redo shortcut from ctrl-r to ctrl-y

Ctrl-y is more standard and used in many applications, ctrl-r is used pretty much nowhere.