Fix del README. Aggiunto esercizio (del parziale) su Triple di Hoare