Upgrade to why3 1.7
Fix incompabilities with newer API of Why3 1.7
Added LGPL licence
Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
Fix incompabilities with newer API of Why3 1.7
Added LGPL licence