add: extend readline completion to all ring-indep. names
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese