Fix user count bug, filter dead servers
- listRepos cursor is always present on non-empty pages, so check
repos.length >= 1000 instead of cursor presence
- Only list servers that responded to health endpoint (version != null)
- Smarter enrichment queue: never-enriched > missing user count >
working > dead
- Per-server logging in cron for easier debugging
- Remove one-time reset (already executed)