Refresh buffer menu after closing all buffers.

Without this, I was seeing a stale buffer menu, so it looked like all
my buffers were still open. Showing an empty buffer menu makes it much
more clear that all the buffers have actually closed.