reload resources in app after update or delete

[arrocke]

Description

When updating or deleting a resource, we need the app to update its state to use the new resource or remove the deleted one.

• Glosses - close the old database, the new one opens when the next gloss is requested, and the user is prompted if the gloss database was deleted
• Audio - remove the timing data from the cache, and reload the player with the new audio URL. The player may switch between local playback and streaming
• Bible - close the old Bible database. If deleted, close the panel, otherwise reload the new database.

Additionally, we can handle an unset current bible setting to prompt the user to select a Bible to see.