HTMLRenderer

Ho aggiunto una nuova classe che fa un file html a partire da quello
txt. Per il momento ho fatto solo il TestCoverage. Dimmi come ti sembra.
Ho cambiato il formato per renderlo più parsabile eliminando i tag #f #c
ecc. Nel caso li rivolessi mettere ho lasciato commentato il blocco
basta sostituirlo a quello attuale