Add GNAT GPL 2013

A keg_only rormula for binary package provided by AdaCore. It would be used for gcc to bootstrap gnat.