Add GNAT GPL 2013
keg_only rormula for binary package provided by AdaCore.