Add facility to explicitly use GLX instead of EGL under X11
The existing behaviour in which EGL is selected as the OpenGL backend
for X11 can be overridden by defining GDK_X11_GL_BACKEND=glx
. Allows
workaround of performance issues with EGL on nvidia hardware.
Closes #5165