new package why3 0.84

These are the files for a new version of the Why3 package, 0.84