Fichier de licence à la racine du dépôt Git supprimé pour pouvoir publier sur
tlcontrib.
Regroupement des \newlength, \newsavebox, \newcounter, \setcounter au
début du .dtx. Cela corrige au passage un bug apparaissant en cas de
laboratoires multiples.
Propagation des modifications des fichiers sources vers les fichiers compilés.
Merge branch 'tlcontrib' of github.com:dbitouze/yathesis into tlcontrib