khronos: Update headers.
gltrace: Handle GL_INTEL_map_texture a bit better.
specs/scripts: Update www.opengl.org URLs.
glretrace: Fix \n in warning messages.