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.

Inizia individuando il punto di ingresso di hackage-mirror e la gestione esistente di mirror/download. Leggi come vengono recuperati i pacchetti e confrontati con il server principale, quindi determina come il flag --verify dovrebbe distinguere i nuovi download dai controlli sui pacchetti esistenti. Il lavoro è completato quando un'esecuzione mensile del mirror rileva le discrepanze e conferma i pacchetti corrispondenti senza lasciare ambiguo il comportamento della verifica.

Scritto dal modello di indicizzazione a partire dal testo della issue.