Add Gundo and comment out taglist