new package version why3 0.85
Merge pull request #2710 from claudemarche/master

new package version why3 0.85