Remove obsolete configure code in gnattools