--web-force-id-extraction

Force ID extraction on -W, --web, even if article content is unchanged.

The only use case so far for this has been as a hack for incomplete database updates.

The correct approach is instead to actually re-extract server side as part of the migration. We should do this by implementing a Article.reextract analogous to Article.rerender, and a helper web/bin/rerender-articles.js.