Add an #pragma directive toggle to WEBGL_debug_shader_precision

Also includes a few small clarifications to the extension spec.
Merge pull request #782 from NVIDIA/debug-shader-precision-pragma

Add an #pragma directive toggle to WEBGL_debug_shader_precision