Update template

[Favo02]

Ho aggiornato il template, la modifica principale è la semplificazione dell'inizializzazione nel main.

Per il resto sono necessarie un paio di modifiche dato che ora le funzioni sono tutte in inglese (informally, note, example, theorem, proof, warning) ed accettano l'argomento title.

Per aggiornare file non ancora committati (o nelle PR) basta usare il comando:

find ./ -type f -name "*.typ" -exec sed -i \
  -e 's/#teorema(\"Teorema\")/#theorem/g' \
  -e 's/#teorema(\"/#theorem(title: \"/g' \
  -e 's/#esempio/#example/g' \
  -e 's/#informalmente/#informally/g' \
  -e 's/#nota/#note/g' \
  -e 's/#attenzione/#warning/g' \
  -e 's/#dimostrazione/#proof/g' \
  -e 's/#link-teorema/#link-theorem/g' \
  {} +