chg: new version of grobcov.lib, add: locusdg

from master
fix: example
removes useless setting of cfKillChar
Merge branch 'spielwiese' of https://github.com/Singular/Sources into spielwiese
clean some of my outputs