Aggiunte un po di cose minori a Intro, Tools e Decompositions. Aggiunti un paio di comandini sega a Commands.
Aggiunti i primi due teoremi (da finire dimostrazioni) alla TT-Decomposition.

Inoltre aggiunta la modifica ad autocompile per avere evince sempre running.