New feature hackage-mirror --verify

I'd like to completely verify my mirror every month or so, to overcome bit rot. For that purpose, I'd like to be able to do a mirror with a `--verify` flag, which either downloads new packages, or confirms that existing packages exactly match the source version of those packages from the parent server.

まず hackage-mirror のエントリーポイントと、既存のミラーリング／ダウンロード処理を特定します。パッケージがどのように取得され、親サーバーと比較されるかを読み、そのうえで --verify フラグが新規ダウンロードと既存パッケージのチェックをどのように区別すべきかを判断します。月次のミラー実行で不一致を検出し、一致するパッケージを確認でき、検証の動作が曖昧なままにならなければ完了です。

索引モデルが issue の本文から書いたものです。