make gdepthstencil/gstencil settings trigger shader reloads so shaders can change based on stencil format


git-svn-id: svn://svn.tuxfamily.org/svnroot/tesseract/main@1603 b412e182-2ed4-4078-95c4-27dc59f57fa9