Cambio posizione + aggiorno ignorati.

Aggiornata la lista dei file ignorati aggiungendo gli sty
(prodotti dal dtx). Invertiti per “coerenza temporale di utilizzo”
lemma e proposizione.