Added Gundo.
Added Gundo options.
Automatic nerdtree was annoying...