removed slime, taglist, and gundo configuration options.