removed char_flag from coeffs
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese