Merge pull request #5 from mbenke/master

Updated why3 to 0.82