Implement glGetIntegerv(GL_NUM_COMPRESSED_TEXTURE_FORMATS).
Merge pull request #1428 from juj/gl_num_compressed_formats

Implement glGetIntegerv(GL_NUM_COMPRESSED_TEXTURE_FORMATS).