new package why3 0.84
Merge pull request #2595 from claudemarche/master

new package why3 0.84