開いた pdf ファイルのハイライト

自動でハイライトするのは厳しそう．

ユーザが定義した正規表現にマッチする行をハイライトする機能なら可能そう．
その場合は，キャッシュとは別にユーザが定義した正規表現をキャッシュする．
