SB over rings with local ordering

add: new tests
Hilbert Criterion in local degree orderings for inhomogemous ideals
Fix typos in Tst/README