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)
