Add ctrl-r mapping to redo in the default keymap

I think this is the least surprising behavior.