Matitaweb:

Matitaweb:
1) Adds a feature to enrich automation statements with their trace (after
   successful execution)
2) Introduces a different syntax (/... trace lemma1, lemma2 .../) for
   system-generated traces (as opposed to user-provided)
3) Graphical update hiding system-generated traces (they are provided as
   a tooltip for inspection, when hovering with the mouse pointer on the
   tactic)
4) Fixes a bug in the computation of the cursor position in the script.