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)
