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