Add package for the newest version of Why3