opengl32: Generate thunks for WGL extensions when possible.