Skip players whose stats did not change since last update

[pdinklag]

For large servers with many players, updates may be sped up somewhat by skipping players whose stat file has not changed since the last update. However, data has to be written for every player, so unless the disk is really slow, the speedup may be underwhelming. This shall not have priority unless anybody reports problems.