Fix and update why3

The archives of Why3 doesn't seems to be available anymore at http://why3.lri.fr/download/ and there was a new release.

@bobot: I removed your Makefile patch for the 0.83, I hope it's fine.