Faster, cheaper refreshes of the site's search index

Rebuilding the search index now skips content that has not changed since the last run, so a full refresh is quick and cheap enough to run routinely. The run's summary is also more accurate about what it actually updated.