record fileIDs processed in each run; e.g. in a new batchFiles table

[jbrzusto]

to improve ability to track down whether a file has indeed been processed:

CREATE TABLE batchFiles (
    batchID INTEGER NOT NULL,
    fileID INTEGER NOT NULL,
    PRIMARY KEY (batchID, fileID)
)

in each receiver DB.