Add a library_locker poperty on PraghaPreferences,

Used to control infobars correctly according to the scanner status.
Also inhibits change directories while the library is analyzing.