fix #383

leads to changes in
dmod.lib,finvar.lib,involut.lib,primdec.lib,sheafcoh.lib
still to be fixed: modstd.lib,primitiv.lib,hnoether.lib,zeroset.lib
fix: warning for option chnges does not work for libsingular

Conflicts:

	Singular/iplib.cc
add: names(int level) added

Conflicts:

	Singular/iparith.cc
	Singular/ipid.cc
	Singular/ipid.h
add: option(noredefine) also for export
port: solaris does not like local structs
fix: syzygies for qring with ring-coeffs, part1
fix: some simple bugs in comparison