Add the gundo plugin and change some config