gnat: Update to gcc 4.8
spark-ada: Add derivations