RecentFilesManager: add an updated signal so that any widgets can update itself (when
the list has been cleared or when a file has been added or removed to the list).