GRIM: Add a config option to disable ARB shaders: "use_arb_shaders", defaulted to true
DOCS: Document the use_arb_shaders option.
Merge pull request #713 from giucam/shadersoption

GRIM: Add a config option to disable ARB shaders