shadertool: If the default stereo sampler is in use, pick a different one
shadertool: Alert user if DX9Settings.ini needs to be modified
shadertool: Only print out required ini changes for shaders that were installed