Adds Gundo and keybindings