opengl32: Automatically download the GL spec files in make_opengl. Add a default value for the OpenGL version.