- remove the dependancy to latex
- fix the generation of traces (pb with flush buffer ?)


Before releasing LiTL 0.1, we need to:
- update the documentation (for instance, the file format described on
  page 8 of the user manual is wrong)
