StatsTimerTick() now calls total_users() less frequently for larger user

databases (the larger the base, the lower the frequency), since scanning a large
user database to count the number of active users can take a full second or
more, which interferes with the user response time in the GUI.