I Ciompi, una pagina di storia del proletariato operaio