Close our project store in the background.

As the comment says, MapDB closure is strangely expensive, and when one closes
a buffer which results in closing a project, which results in closing half a
dozen project stores for that project's dependencies, an unpleasant blockage of
the UI thread can occur.