Print the missing provider information to stderr.
Improve the quality of the missing providers output.

In particular, note when it's probably our bug, not the app's bug.
Add support for GLES extensions.

I think we don't want to be checking that the context is actually of
the declared types -- if the extension is exposed in the extension
string, the entrypoints had better be there.