Ebuild for the why3-0.85 was added.
Jessie useflag was invented. Why2 was made to be a standalone package not required by why3.
Why3 dependency was added to why (for jessie plugin).
Jessie plugin of why-0.34 was changed to be compartible only with why3-0.85.