Updated package for why 2.31, why 2.32 and why3 0.81

A few improvements in these packages, including a small one for why3, agreed by Francois Bobot

These have been tested successfully