[Why3] update to 0.81 and install the library
Merge pull request #579 from bobot/master

[why3] package for version 0.81