Proposal for ETC1 texture compression extension

This is a format that's widely supported on mobile (most Android devices support it), and as such it makes sense to expose it via an extension.