fix: use local degree ordering for highcorner()
fixed basering related issues
 restoring options in normality test was too early?
fix: types in assign (normal.lib)
chg: update test for realclassify.lib
chg: option(warn): warn if def is used to much

Conflicts:
	Singular/ipshell.cc
Merge pull request #520 from steenpass/realclassify

fix: use local degree ordering for highcorner()