Merge pull request #4933 from Armada651/disable-cache VideoBackends: Add a developer option to disable the shader cache.
