Added tool to generate the 'gl_types.ads' spec (which contains GL types whose definitions can possibly vary between platforms).