Fix to close right buffer with :CoqQuit

This patch changes the behavior of `:CoqQuit` to close a window where coqtop-vim's buffer is opened instead of the previous window.