Update lang/seed7 to version 05.20140216
Update lang/gnat-aux to version 20130412_2