add OpenGL 1.2 header by Khronos Group