Remove expired ports:
2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS

Drop spark-related ports for removal after 30 Sept

math/why3-spark: Try to fix build on F10

CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc".  FreeBSD 10 doesn't like that.

math/why3-spark: Update COMMENT

math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

math/why3-spark: Mark BROKEN (broken by ocaml changes)

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.