RecentFilesManager: Add a last_file method to retrieve the last file that was opened