Add new port math/alt-ergo-spark (required by SPARK 2015)

This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock"
math/alt-ergo cannot be used, it locks up when gnatprove calls it.