feat: add WebDAV sync support and startup/shutdown scripts

Backend:
- Add uuid, sync_version, is_deleted fields to all syncable models
- Add SyncSettings model for WebDAV configuration (AES-256-GCM encrypted passwords)
- Add crypto.py: AES-256-GCM encryption derived from JWT_SECRET via PBKDF2
- Add sync_lock.py: thread-level sync lock with 503 middleware for write blocking
- Add webdav.py: WebDAV client using requests (PUT/GET/MKCOL/DELETE)
- Add sync_service.py: push/pull/bidirectional merge with LWW conflict resolution
- Add sync router with 8 endpoints: config, test, push, pull, sync, status, remote delete
- Add UUID backfill for existing records in init_db()
- Add SQLAlchemy before_update event to auto-increment sync_version
- Register sync middleware to block writes during sync (503)

Frontend:
- Add sync API client (WebUI/src/api/sync.ts)
- Add useSyncStore with config, test, push/pull/sync operations
- Add WebDAV config + sync UI in SettingsView
- Add 503 status code handling in axios interceptor
- Add uuid field to all TypeScript type definitions

Scripts:
- Add scripts/start.bat and scripts/stop.bat for project management

Design doc: docs/plan/webdav-sync-design.md

api/app/models/habit.py

@@ -1,3 +1,4 @@
+import uuid as _uuid
 from sqlalchemy import Column, Integer, String, Text, Boolean, Date, DateTime, ForeignKey, UniqueConstraint
 from sqlalchemy.orm import relationship
 from app.database import Base
@@ -9,10 +10,13 @@ class HabitGroup(Base):
     __tablename__ = "habit_groups"
 
     id = Column(Integer, primary_key=True, index=True)
+    uuid = Column(String(36), default=lambda: str(_uuid.uuid4()), unique=True, index=True)
     name = Column(String(100), nullable=False)
     color = Column(String(20), default="#FFB7C5")
     icon = Column(String(50), default="flag")
     sort_order = Column(Integer, default=0)
+    is_deleted = Column(Boolean, default=False)
+    sync_version = Column(Integer, default=1)
 
     # 关联关系
     habits = relationship("Habit", back_populates="group", order_by="Habit.created_at")
@@ -23,6 +27,7 @@ class Habit(Base):
     __tablename__ = "habits"
 
     id = Column(Integer, primary_key=True, index=True)
+    uuid = Column(String(36), default=lambda: str(_uuid.uuid4()), unique=True, index=True)
     name = Column(String(200), nullable=False)
     description = Column(Text, nullable=True)
     group_id = Column(Integer, ForeignKey("habit_groups.id"), nullable=True)
@@ -30,6 +35,8 @@ class Habit(Base):
     frequency = Column(String(20), default="daily")  # daily / weekly
     active_days = Column(String(100), nullable=True)  # JSON 数组, 如 [0,2,4] 表示周一三五
     is_archived = Column(Boolean, default=False)
+    is_deleted = Column(Boolean, default=False)
+    sync_version = Column(Integer, default=1)
     created_at = Column(DateTime, default=utcnow)
     updated_at = Column(DateTime, default=utcnow, onupdate=utcnow)
 
@@ -46,9 +53,12 @@ class HabitCheckin(Base):
     )
 
     id = Column(Integer, primary_key=True, index=True)
+    uuid = Column(String(36), default=lambda: str(_uuid.uuid4()), unique=True, index=True)
     habit_id = Column(Integer, ForeignKey("habits.id"), nullable=False)
     checkin_date = Column(Date, nullable=False)
     count = Column(Integer, default=0)
+    is_deleted = Column(Boolean, default=False)
+    sync_version = Column(Integer, default=1)
     created_at = Column(DateTime, default=utcnow)
 
     # 关联关系