ランキング画面にプレイヤー名検索フィルタを追加

1. 目的:
現在ランキング画面で特定プレイヤーの順位を探すには、自分の端末に保存された名前と完全一致する「自分の記録だけ」表示しか手段がなく、友人の名前や気になるプレイヤー名を調べたい場合に上位50件を目視でスクロールするしかない。表示中リストをその場で絞り込める検索欄を追加し、利便性を高める。

2. 具体的な仕様:
- ランキング画面の「👤 自分の記録だけ」ボタンの近くに、テキスト入力欄(placeholder: 「プレイヤー名で検索」/ 'Search player name')を追加する。
- 入力するたびに、現在表示中のランキング行(today/yesterday/weekly/alltime/日付指定いずれのタブでも)をクライアントサイドの JS でフィルタし、player_name に部分一致(大文字小文字を区別しない、日本語はそのまま部分一致)する行だけを表示する。入力が空の場合は全行を表示する。
- 「自分の記録だけ」トグルがONの状態で検索語も入力されている場合は、両方の条件を AND で適用する(自分の記録かつ名前に一致する行のみ表示)。
- 検索によって表示件数が0件になった場合は「一致するスコアがありません」など既存の no-match メッセージ文言を再利用して表示する。
- 検索欄はモード切り替えやタブ切り替え(today/weekly/alltime/日付指定)のたびにクリアせず、既存のロジックで新しいデータが再取得された後も同じ検索語で再フィルタを適用する。ページロード時・モード変更時は空欄にリセットする。
- ランキングコピー機能・CSVダウンロード機能は、検索フィルタの影響を受けず、これまで通りサーバーから取得した上位(最大50件)全件を対象とする。誤解を避けるため、検索欄の下かボタン付近に小さく「コピー/CSVは検索前の全件が対象です」という注記を表示する。

3. 既存機能との整合:
- サーバーサイド API (rank_check.php, rank_export.php, ランキング取得処理) は一切変更しない。フィルタは取得済みDOM要素に対するクライアントサイドJSのみで完結する。
- 既存の「自分の記録だけ」機能、日付指定タブ、今週タブ、コピー機能、CSVダウンロードのロジック・出力内容は変更しない。
- DBスキーマ、localStorageのキー・保存形式は変更しない。追加するのは検索用の一時的なJS変数(画面内のみ、保存不要)のみ。