Add gundo plugin, use U to toggle it