(RGUI) Rename SHADER MANAGER to VIDEO OPTIONS - build it in when
HAVE_SHADER_MANAGER is not defined as well