Update the WebGL_shared_resources spec to match the current proposal