Add package for the newest version of Why3
Merge pull request #555 from protz/my

Add package for the newest version of Why3