Propose WEBGL_compressed_texture_es3 for compressed texture formats core to GLES3

This was going to be WEBGL_compressed_texture_etc2, but GLES3 also has _EAC formats as core, so this includes those as well under the '_es3' suffix.