fixes problem with incremental sba interreduction:
if size(interred_g) << size(g) we need some adjustments
fix for F5 Rewritten Criterion
Fixing the problem of regeneration of config headers
Fix package tarname
Merge pull request #473 from ederc/sba-fixes

Fixes for SBA
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
fix: debug version
patch-level 4.0.0.1