why3: updated info fields
updated fields and removed why.install
better description for package why 2.31
why 2.32: relaxed dependency upon alt-ergo
Merge pull request #583 from claudemarche/master

Updated package for why 2.31, why 2.32 and why3 0.81