Fix and update why3
Merge pull request #2010 from jpdeplaix/master

Fix and update why3