batch-helper: document why reset-failed is necessary
batch-helper: make dcs-web use the correct source-backend
Add verify-new-files.sh, a shell script to verify an updated index

It brings up a batch stack, points that stack to the new files, runs a
sample query and looks for an expected result.

This can be used in combination with an automated update script to
automatically swap an old index with a new index.