Index status

Full crawler and index statistics: server and room counts, plus the timing of the last discovery, parsing, and indexing passes. The admin-side twin of the public /stats, with more detail.