Broken pipes in hackage-mirror

When trying to mirror the public Hackage server with hackage-mirror, I frequently get the following error:

```
hackage-mirror: : hClose: resource vanished (Broken pipe)
```

(Also see #131. )This kills hackage-mirror (even though I'm using --keep-going), and I have to restart it. This happens at random intervals: sometimes less than a minute after I start mirroring, sometimes several hours.

If the underlying cause can't be fixed, then hackage-mirror should at least retry the connection if the socket closes.

Inizia dal punto di ingresso hackage-mirror e dal comportamento di --keep-going, poi esamina #131 per il contesto correlato. Riproduci il fallimento intermittente Broken pipe/hClose e traccia il percorso di chiusura del socket; il lavoro è completo quando il mirroring continua dopo la scomparsa di una connessione, oppure viene impedito il fallimento sottostante, con un test di regressione per il comportamento osservato.

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