reesclos.lib rewritten to use normal.lib
Fixed minor bug in reesclos.lib
Merge pull request #476 from jankoboehm/spielwiese

reesclos.lib rewritten to use normal.lib
Added test for reesclos
Merge pull request #477 from jankoboehm/spielwiese

Added test for reesclos
doc: crossref. etc. for texinfo
chg: moved singularsurf to libexec/MOD, add libexec/MOD to $PATH
add: reesclos.tst to ok_s.lst
moved Integerprogramming stuff to libexexdir/MOD
fix: HAVE_TAIL_RING is set in kutil.h for all k*.cc

Conflicts:
	kernel/kstd2.cc
fix: disable interred for ring-cf
avoid assume failure (attr_free -> s_internaldelete)
add data types to procedures, p1