Added history entry for assignment of number to WEBGL_compressed_texture...

..._etc1.