feat: 深色主题UI、错误分类、批量抓取、健康度筛选

- 修复 datetime 时区不一致导致所有API 500错误的问题
- Feeds/Dashboard 页面改为深色表格主题，高对比度文字
- 添加错误类型自动分类（URL失效/被拒绝/超时/DNS失败/SSL错误等12种）
- 新增"下次抓取时间"列，从APScheduler获取
- 新增健康度筛选下拉，修复分页后过滤失效的bug
- "全部抓取"改为同步并发执行，基于当前筛选条件获取所有匹配源
- 新增数据库自动迁移机制，处理增量列变更

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

backend/scheduler.py

@@ -65,6 +65,15 @@ def stop_scheduler():
         _scheduler = None
 
 
+def get_feed_next_run(feed_id: int):
+    """获取指定 RSS 源的下一次抓取时间"""
+    scheduler = get_scheduler()
+    if not scheduler.running:
+        return None
+    job = scheduler.get_job(f"fetch_feed_{feed_id}")
+    return job.next_run_time if job else None
+
+
 def init_feed_jobs(db):
     """从数据库加载所有活跃 RSS 源并注册定时任务"""
     from models import Feed