Ignore GNAT's generated binary files in git

Signed-off-by: David MENTRE <dmentre@linux-france.org>