Detect background changes to database file.

This gives the option to reload the database.
A setting is available to let the program automatically reload the
database if there is no change, always ignore, or always ask what to do.