Add an #pragma directive toggle to WEBGL_debug_shader_precision

Also includes a few small clarifications to the extension spec.