aggiungo time-stamp per Emacs

Inoltre uso `\filestyle' al posto di `\texttt' dove possibile e faccio
qualche altra piccola correzione di forma.