Add Gundo plugin and keyboard shortcut, plus other minor changes