Updated why3 to 0.82
Merge pull request #5 from mbenke/master

Updated why3 to 0.82