added gnat bin location option to gnat2xml module