Move math/why3-gpl => math/why3-spark

There are two reasons to rename this port.

1. Upstream never liked it and requested -spark be the suffix instead
2. An ongoing attempt to fix lang/spark may result in a number of slave ports with a -spark suffix, so this keeps up consistency as all of these ports only exist to support that port.