fix: ring dep. stuff in newstruct: send/receive via links (ssi:6)

from master
chg: procdir path for debian
Removed temporary files
better message text in checklibs (texinfo)
some adaption to 4-0-0
doc: more index entries for linear algebra
fix: typo
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
adjusts documentation for sba according to last commit (adds TOP order)