Reset synced buffers on quit

BufferList is static, so the list of synced buffers persists so long as
our process exists. Now that we don't kill our process on quit, the
buffer list must be explicitly reset.