New extension loading code generator using OpenGL registry XMLs.