Why3-0.82 ebuild was added.
A DESTDIR patch was added.
Another destdir patch was added. Existing one was renamed.
The GIT repo was corrected for the 'bleeding edge' why3.