math/why3-gpl: upgrade version 2014 => 2015

While here, decouple this port from math/why3. They are diverging fast.
This port is needed to build SPARK 2015 binaries which will be installed
by the lang/spark port (rather than building from source)