週間ランキングに任意の週へジャンプできる週選択ピッカーを追加

1. 目的:
現在、週間ランキングは「前週・翌週」ボタンで1週ずつしか移動できない。数か月前の特定の週を確認したい場合、何十回もクリックが必要で使いにくい。日付指定タブには既にv1.106.0で日付ピッカーが実装されているため、同様の操作性を週間タブにも提供し、任意の週へ即座に移動できるようにする。

2. 具体的な仕様:
- pages/ranking.php の週間タブUIに `<input type="date" id="week-jump-picker">` を追加する(週間タブ選択時のみ表示、他タブでは非表示)。
- input の `max` 属性に JST 基準の今日の日付(jst_today())を設定し、未来日選択を極力防ぐ(保険としてサーバー側検証も残す)。
- input の初期値は現在表示中の週の月曜日(week_start)とする。
- ピッカーで日付を選択したら、JS側でその日付が属するISO週の月曜日を算出(`(day - 1 + 7) % 7` 日を引く)し、既存の `week_start` パラメータとしてクエリに設定、現在の絞り込み条件・追加表示状態・言語・モード等の他のGETパラメータは維持したままページ遷移する。
- サーバー側は既存の `vd_valid_week_start()` をそのまま利用し、不正値・月曜以外・未来週は現在週にフォールバックする既存動作を変更しない(新規パラメータや新規関数は追加不要)。
- ピッカー付近に選択中週の「月曜日〜日曜日」の範囲を小さく表示し、現在の前週・翌週ボタンの表示と整合させる。
- スマホでも `input type="date"` は標準UIで利用可能なため追加対応不要。

3. 既存機能との整合:
- 既存の前週・翌週ボタン、URL状態保持(v1.100.0)、絞り込み・コピー・CSV機能(週間タブ含む)には一切変更を加えない。
- バックエンドは既存の `week_start` GETパラメータとその検証関数をそのまま再利用するため、後方互換を維持する。
- ピッカーはUIの追加のみで、既存のHTML構造・JSイベントリスナーは破壊しない設計とする。