Update user stats

User statistics seem to not have been updated since Jan 4, please update, thanks!

If this is due to merge conflict of the pushing script, interfering with other meanwhile added manual commits, there should be one of two simple solutions:

• add git pull before the git commit ... and git push; at least this works for other projects
• separate into two projects, one only for the automated script (and no manual interference) + another one for manually pushed stuff, like the number of VOs.