+* scripts
+
+ colorized-loba script pour exécuter loba en colorant les
+ sorties
+
+ extract.pl outil d'extraction des données à partir des
+ traces, pour tracer des courbes
+
+ setlocalversion calcule un numéro de version à partir du hash
+ du dernier commit (git)
+