Add window resizing hotkeys, add Gundo plugin