renderer: also enable floating-point readback with extension
The GL_EXT_color_buffer_float exptension spec defines that glReadPixels can be done with the combination of GL_RGBA and GL_FLOAT, which matches what OpenGL ES 3.2 allows. So let's enable the readback-format in this case.
Thanks to Gert Wollny for pointing this out.
Signed-off-by: Erik Faye-Lund erik.faye-lund@collabora.com