Python script for pretty-printing frama-c reports. LaTeX backend only (for the moment...).