add Gundo Plugin

1.add <F5> to call GundoToggle
2.adjust the performance of WindowSize