The progress is now sorted and printed to stderr, because the stdout is
supposed to be redirected to a file (containing html output).
Bot accounts are now ignored in user stats.
Text processing is now a bit more efficient (joining a list of strings
instead of appending to a string many times over).
I also removed one try-except block I did not understand, I'm sure we can
come up with a better way if you explain to me what it was for.