- Split check-rif.ml into check-rif.ml and coverage.ml.
- Add a section dedicated to check-rif in the Lutin manual, in the tool section.
- Use the ocaml Arg module to deal with command-line args.
- Take advantage of the fact that an ec file only have one node.
- Store/update the corevage info in a .cov file