fix: singularsurf is in Singular/singularsurf
introduce ASSUME(<level>,<int expr>)

Conflicts:
	Singular/ipshell.h
chg: grammar for ASSUME
doc: ASSUME
chg: add Singular/singularsurf to dist files
version 4-0-0, Dec 2013
fix: genus (tr.259)

Conflicts:
	Tst/Short/bug_532_s.res.gz.uu
add: man page for singular
1. adds operation counting in sba
2. enables partial tailred for incremental sba
adds new comparison checks in sba:
counts also number of steps during the interreduction process
of incremental sba variants
adds experimental sba tailred (disabled by default)
workin sba tail reduction (disabled by default)
fix for deep sba tail reduction
moves sba tail reduction stuff to kstd2
fixes sba tail reduction
=> enabled by default
=> speed-up
adjusts tests for sba due to implementing better tail reduction
removes debug printing, improves options
adjusts tests again due to previous commit
changes incremental flag to sbaOrder, no longer BOOLEAN
=> preparation in order to introduce more module orders for sba
adds TOP(term over position) module order in sba