new package version why3 0.85

A new version of why3, version 0.85, is released. This is mainly a bug-fix version w.r.t to version 0.84,
released only 2 weeks ago.

- Claude