Add a Refresh Database command

[aeisenberg]

This command will handle errors that occur when the database changes on the file system while VS Code is open. Ideally, this state should be detected and handled automatically, but that can be difficult and the extension may miss relevant changes, so there should be a manual way to do this as well.