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.

Comienza localizando el punto de entrada de hackage-mirror y su gestión existente de espejos/descargas. Lee cómo se obtienen los paquetes y se comparan con el servidor principal, y determina después cómo debería distinguir el flag --verify entre nuevas descargas y comprobaciones de paquetes existentes. Se considera terminado cuando una ejecución mensual del espejo detecta discrepancias y confirma los paquetes coincidentes sin que el comportamiento de verificación quede ambiguo.

Escrito por el modelo de indexación a partir del texto del issue.