Added script to generate OpenGL headers