File-level saving

The application can now remember which files you have completed processing.  Remembering individual sources processed within a file is still TODO, i.e. it doesn't save partial progress in a file.  Part of issue #8.