add a script to collect gl extension data from the dev-hardware/*.glxinfo files into something more useful as a compatibility reference