GRIM: Add a config option to disable ARB shaders

This pull request adds a config option, "use_arb_shaders", to enable/disable the use of shaders by the OpenGL renderer. It is true by default.
I did not add a gui option, since i'm not sure it would be worth it.

With this in place we can maybe consider doing a driver blacklist.