Add all the features to generate json for regression testing + fix of comparison of apron lincons/linexpr1

[naim-mr]

• 0ef0fbe7c3c7da703e79cdf005a84bfc08eb9d44
• 643be2bf4c4834695f18435d29e1169d6741b582

    Apron is now using a partial order on Linexpr0 (which underlies lincons1). So we have to use the new function     
     linexpr0.cmp. Also, in the former implementation of Affine.ml a direct call to Ocaml  (=) operator was done. Which is not 
     right, we need to really compare the datatype through its compare function. 

• 94fedb4
• 0ae534f
• f8426a0

Took from another branch in my own fork the files to generate json. Right now it generate it in "logs/" dir at each run. In a next pr I will provide the generated json files, and the diff script I have.