Efficiently reset null user tokens

Allow resetting null tokens (users affected by bug 41586), and improve
the overall performance of the script for large wikis.

Adds "nulls" flag to indicate that only users with bad tokens get reset.

Bug: 41586
Change-Id: I524607d3e54aa1c3703019cca46b69558847182e
Merge "Efficiently reset null user tokens"